Jonsson, Bengt

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 – 13, 1996, Proceedings (Lecture Notes in Computer Science, 1135)