State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering - United States
doi 10.1109/32.210305
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1993
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)