Formal Techniques in Real-Time and Fault-Tolerant Systems (1992)

by J Vytopil, editor
Venue:of Lecture Notes in Computer Science