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