Proceeding on automatic verification methods for finite state systems - Sifakis J Ed.; International workshop on automata verification methods for finite state systems (1989 : Grenible) (Berlin Springer-Verlag, 1990)
Keywords: Computer science