Sifakis, J. Ed.
Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989 - Berlin Springer Verlag 1990 - 382p - Lecture notes in computer science 407 .
3540521488
Automatic Verification Methods
Finite State Systems
681 LNCS
Automatic Verification Methods for Finite State Systems Proceedings, International Workshop, France, 1989 - Berlin Springer Verlag 1990 - 382p - Lecture notes in computer science 407 .
3540521488
Automatic Verification Methods
Finite State Systems
681 LNCS