Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems 1989: Grenoble, France
Joseph Sifakis (Ed.):
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings.
Lecture Notes in Computer Science 407 Springer 1990, ISBN 3-540-52148-8
Contents 
Last update Tue May 22 23:23:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
