Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings

Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings FTRTFT Lecture Notes in Computer Science 571 Springer 1991 3-540-55092-5 db/conf/ftrtft/ftrtft1992.html