Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2003.1237171
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 1, 2003
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)