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), Band 1135)

Proceedings

von: Bengt Jonsson · Joachim Parrow

Taschenbuch

ISBN: 978-3-540-61648-1

ISBN-10: 3-540-61648-9

Springer · 2008