APA (7th ed.) Citation

Sifakis, J. (1990). Automatic verification methods for finite state systems: International workshop, Grenoble, France, June 12-14, 1989 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Sifakis, J. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 : Proceedings. Berlin ; New York: Springer-Verlag, 1990.

MLA (9th ed.) Citation

Sifakis, J. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 : Proceedings. Springer-Verlag, 1990.