Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Format: paperback
ISBN:
9783540616481 (3540616489)
Publish date: August 21st 1996
Publisher: Springer
Pages no: 490
Edition language: English