Specifying message passing and time-critical systems with temporal logic (e-book)
Koymans, Ron
Specifying message passing and time-critical systems with temporal logic (e-book) - Berlin Springer 1992 - Lecture Notes in Computer Science (LNCS) v.651 .
978-3-540-47506-4
Specifying message passing and time-critical systems with temporal logic (e-book) - Berlin Springer 1992 - Lecture Notes in Computer Science (LNCS) v.651 .
978-3-540-47506-4