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, Proceedings

Hans Langmaack Willem P. de Roever Jan Vytopil 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, Proceedings FTRTFT Lecture Notes in Computer Science 863 Springer 1994 3-540-58468-4 db/conf/ftrtft/ftrtft1994.html