Automatic verification methods for finite state systems  International Workshop, Grenoble, France, June 12-14, 1989, proceedings 
J.Sifakis (ed.) 
 - Berlin  Springer-Verlag  1990 
 - 382 p. : ill. ; 25 cm. 
 - Lecture notes in computer science  407 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>3540521488