Author:
Koymans R.,Shyamasundar R. K.,Roever W. P.,Gerth R.,Arun-Kumar S.
Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Bibliography of Willem-Paul de Roever;Concurrency, Compositionality, and Correctness;2010
2. Rob Tristan Gerth: 1956–2003;Computer Aided Verification;2004
3. The timed failures — Stability model for CSP;Theoretical Computer Science;1999-01
4. Real-Time and Safety-Critical Systems;High-Integrity System Specification and Design;1999
5. An algebraic framework for developing and maintaining real-time systems;Algebraic Methodology and Software Technology;1995