Options
Title
Formal techniques in real-time and fault-tolerant systems
Title Supplement
Second International Symposium. Nijmegen, the Netherlands, January 8 - 10, 1992. Proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1992
Series
Lecture Notes in Computer Science; 571
ISBN
3-540-55092-5
0-387-55092-5