Automatic verification methods for finite state systems International Workshop, Grenoble, France, June 12-14, 1989, proceedings - Sifakis, J (Berlin Springer-Verlag, 1990)
Includes bibliographical references
1