Zhou Chaochen
Former employee
Publications
(5)- Published
Duration Calculus: A Formal Approach to Real-Time Systems
Publication: Research - peer-review › Book – Annual report year: 2004
- Published
Finite Divergence
Publication: Research - peer-review › Journal article – Annual report year: 1995
- Published
Semantics and Completeness of Duration Calculus
Publication: Research - peer-review › Article in proceedings – Annual report year: 1992
Theoretical Computer Science
ISSNs: 0304-3975, 03043975
Elsevier BV, Netherlands
FI (2012): 2, ISI indexed (2012): yes
Central database
Journal
ID: 2190556