Automatic verification methods for finite state systems :  international workshop, Grenoble, France, June 12-14, 1989 : proceedings / 
J. Sifakis (ed.). 
 - Berlin :  Springer,  1990. 
 - VII, 382 s. ;  24 cm. 
 - Lecture Notes in Computer Science ;  407 .
 - Lecture Notes in Computer Science  407 .
<br/><br/>
<br/><br/><label>ISBN: </label>3540521488 0387521488 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Protokoły sieci komputerowych--konferencje.