TY  - BOOK
AU  - Sifakis,Joseph
ED  - Springer-Verlag (Berlin).
TI  - Automatic verification methods for finite state systems: international workshop, Grenoble, France, June 12-14, 1989 : proceedings 
T2  - Lecture Notes in Computer Science
SN  - 3540521488
PY  - 1990///
CY  - Berlin
PB  - Springer
KW  - Protokoły sieci komputerowych
KW  - konferencje
KW  - kaba
N1  - Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540521488
ER  -