Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540453529