Formal validation of virtual finite state machines (1995)

by A R Flora-Holmquist, M Staskauskas
Venue:In Proc. Workshop on IndustrialStrength Formal Specification Techniques (WIFT'95