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, Lecture Notes in Computer Science 863

Hans Langmaack/Willem-Paul de Roever/Jan Vytopil

Springer Verlag GmbH