ISBN 3540616489 books & textbook
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)
Jonsson, Bengt Parrow, Joachim
Springer /1996-08-21 Paperback / 500 Pages
isbn-10: 3540616489 / isbn-13: 9783540616481
