Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... Notes in Computer Science (1486), Band 1486)

Proceedings

von: Hans Rischel · Anders P. Ravn

Taschenbuch

ISBN-13: 978-3-540-65003-4

ISBN-10: 3-540-65003-2

Springer · 2008