Anders P. Ravn, Hans Rischel
Formal Techniques in Real-Time and Fault-Tolerant Systems - 1998 - Springer Berlin Heidelberg 1998 - Lecture Notes in Computer Science .
9783540497929
Computer Science
Formal Techniques in Real-Time and Fault-Tolerant Systems - 1998 - Springer Berlin Heidelberg 1998 - Lecture Notes in Computer Science .
9783540497929
Computer Science