A Semantics-Based Tool for the Verification of Finite-State Systems (1989)

by R Cleaveland, J Parrow, B Steffen
Venue:In Proceedings of the Ninth IFIP Symposium on Protocol Specification, Testing and Verification