Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, Springer, 1991.
Conference: ftrtft1991
No references recorded for this publication.
No citations of this publication recorded.