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

Bibliographic Details
Other Authors:	Sifakis, J. (Joseph), 1946-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 407.
Subjects:	Computer network protocols > Congresses.

Remote Storage