Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: ... (Lecture Notes in Computer Science)
Format: kindle
ASIN: B001GS75P8
Publish date: June 13th 2008
Publisher: Springer
Pages no: 628
Edition language: English