Normal view
MARC view
Lecture notes in computer science, 0302-9743 ; 1135 (Uniform Title)
Machine generated authority record.
Work cat.: (OSt)0: Formal techniques in real-time and fault-tolerant systems :, c1996.