ISBN 3540584684 books & textbook
Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)
Langmaack, Hans Roever, Willem-Paul de Vytopil, Jan
Springer /1994T Paperback / 787 Pages
isbn-10: 3540584684 / isbn-13: 9783540584681
