3. CONCUR 1992:
Stony Brook, NY, USA
Rance Cleaveland (Ed.):
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings.
Lecture Notes in Computer Science 630 Springer 1992, ISBN 3-540-55822-5
- Amir Pnueli:
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).
Temporal Logic I
- Frank A. Stomp:
Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version).
- Doron Peled:
Sometimes 'Some' is as Good as 'All'.
Temporal Logic II
True Concurrency III
Last update Wed May 22 02:30:33 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page