Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /

Saved in:
Bibliographic Details
Other Authors: Sifakis, J. (Joseph), 1946-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, c1990.
Series:Lecture notes in computer science ; 407.
Subjects:
Computer network protocols > Congresses.
LEADER 01125nam a2200265 a 4500
001 c000161589
003 CARM
005 19900531000000.0
008 900111s1990 wb a 100 0 eng
019 1 |a 6970142  |5 LACONCORD2021 
020 |a 0387521488  |b (U.S. : alk. paper) 
035 |a (OCoLC)20995144  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d LC 
050 0 0 |a TK5105.5  |b .A97 1990 
082 0 0 |a 004.6/2  |2 20 
245 0 0 |a Automatic verification methods for finite state systems :  |b international workshop, Grenoble, France, June 12-14, 1989 : proceedings /  |c J. Sifakis (Ed.) 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1990. 
300 |a vii, 382 p. :  |b ill. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 407. 
504 |a Includes bibliographical references. 
650 0 |a Computer network protocols  |v Congresses. 
700 1 |a Sifakis, J.  |q (Joseph),  |d 1946- 
852 8 |b CARM  |h A2:AL17F0  |i C05334  |p 0213187  |f BK 
999 f f |i 781e8708-1778-54bb-b3f4-eecbecf83a02  |s d8f2ca42-a53a-54d0-9d31-de6f072a4ae6 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05334  |f A2:AL17F0  |h Other scheme  |i book  |m 0213187 

Similar Items