Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science)
Full Title: | Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science) |
---|---|
ISBN: | 0387550925 |
ISBN13: | 9780387550923 |
List Price: | USD $102.00 |
Authors: |
Vytopil, J. (ed.) |