ISBN 9783540503026 books & textbook
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331)
Springer /1988-09-14 Paperback / 240 Pages
isbn-10: 3540503021 / isbn-13: 9783540503026
