ISBN 3540410554 books & textbook
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926)
Springer /2000-09-06 Paperback / 303 Pages
isbn-10: 3540410554 / isbn-13: 9783540410553
