Specifying message passing and time-critical systems with temporal logic
Koymans, Ron
Specifying message passing and time-critical systems with temporal logic - - Berlin : Springer-verlag, 1992 1992 - viii,164 p. 23.5 cm - Lecture notes in computer science ; v.651 .
3-540-56283-43
Telecommunication-Message processing
Logic, Symbolic and mathematical
Logic programming
681.327.8:681.3.06 Koy
Specifying message passing and time-critical systems with temporal logic - - Berlin : Springer-verlag, 1992 1992 - viii,164 p. 23.5 cm - Lecture notes in computer science ; v.651 .
3-540-56283-43
Telecommunication-Message processing
Logic, Symbolic and mathematical
Logic programming
681.327.8:681.3.06 Koy