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

Cached

Download Links

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