Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: January 1992
Number of pages: 620
ISBN-13: 9780387550923