Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Mathai Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 FTRTFT Lecture Notes in Computer Science 331 Springer 1988 3-540-50302-1 db/conf/ftrtft/ftrtft1988.html