Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989: Proceedings (Lecture Notes in Computer Science)

Verification

by J. Sifakis

Paperback

ISBN: 978-0-387-52148-0

ISBN-10: 0-387-52148-8

Springer Verlag · 1990
See also (possibly by other authors):
2008TaschenbuchAutomatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science (407), Band 407)