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 1988 - Lecture Notes in Computer Science (LNCS) v.331 .
978-3-540-45965-1
Formal techniques in real-time and fault-tolerant systems (e-book) - Berlin Springer 1988 - Lecture Notes in Computer Science (LNCS) v.331 .
978-3-540-45965-1