Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: March 1990
Language: eng
Number of pages: 382
ISBN-13: 9780387521480