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. Springer 1990 Lecture Notes in Computer Science 407 ISBN 3-540-52148-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team