Formal Techniques in Real-Time and Fault-Tolerant Systems Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings Vytopil Jan Heftet / 1991 / Engelsk
Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings Langmaack Hans Heftet / 1994 / Engelsk
