Automatic verification methods for finite systems : proceedings - Sifakis J; International Workship on Automatic Verification Methods for Finite Systems( 1st : 1989 : France ); International Workship on Automatic Verification Methods for Finite Systems 1st , France 1989 (Berlin Springer Verlag, 1989)
Keywords: Computer science; Finite state system