Title: Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989
Subjects: Computer network protocols, Congresses