Specifying message passing and time-critical systems with temporal logic
KOYMANS, Ron
Specifying message passing and time-critical systems with temporal logic Ron Koymans - Berlin; Heidelberg; New York Springer\-\\Verlag 1992 - X, 164 p. sch. ; 24 cm - Lecture Notes in Computer Science (LNCS)\\Springer\ 651 .
0-387-56283-4; 3-540-56283-4
C-182622
lucrare de specialitate
519.76
Specifying message passing and time-critical systems with temporal logic Ron Koymans - Berlin; Heidelberg; New York Springer\-\\Verlag 1992 - X, 164 p. sch. ; 24 cm - Lecture Notes in Computer Science (LNCS)\\Springer\ 651 .
0-387-56283-4; 3-540-56283-4
C-182622
lucrare de specialitate
519.76