Formal techniques in real-time and fault-tolerant systems (e-book)
Joseph, Mathai
Formal techniques in real-time and fault-tolerant systems (e-book) - Berlin Springer 2000 - Lecture Notes in Computer Science (LNCS) v.1926 .
978-3-540-45352-9
Formal techniques in real-time and fault-tolerant systems (e-book) - Berlin Springer 2000 - Lecture Notes in Computer Science (LNCS) v.1926 .
978-3-540-45352-9