© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementation and testing of a set of event detection operators
R. Gomez, J.C. Augusto, and A. Galton
Technical Report 398, School of Engineering and Computer Science, University of Exeter, December 2000.Bibtex Record
@techreport{1647,
author = {R. Gomez and J.C. Augusto and A. Galton},
title = {Implementation and Testing of a Set of Event Detection Operators},
month = {December},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1647},
publication_type = {techreport},
submission_id = {12965_1057655803},
institution = {School of Engineering and Computer Science, University of Exeter},
number = {398},
}