Search results
- Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1. DCVALID: A tool for model-checking Duration Calculus formulae, TIFR...2 KB (211 words) - 12:08, 30 May 2021
- Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1. "Zhou Chaochen 周巢尘". China Vitae. Retrieved April 9, 2012. UNU Rector...5 KB (366 words) - 20:37, 12 October 2023