Books listed by ISBN > Springer > J. Sifakis

J. Sifakis

J. S. ยท Joseph Sifakis

titleISBN-13
(ISBN-10)		year of publication
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989: Proceedings978-O-387-52148-O
(O-387-52148-8)		1990

J Sig Paulson