State-Based Model Checking of Event-Driven System Requirements (1993)

by Joanne M. Atlee , John Gannon
Venue:IEEE Transactions on Software Engineering
Citations:144 - 8 self