© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Formally Specifying Temporal Constraints and Error Recovery
S. Kent, T. S. E. Mailbaum, and W. J. Quirk
In Proceedings of IEEE First International Symposium on Requirements Engineering (RE93), pages 182-196, San Diego, January 1993.Bibtex Record
@inproceedings{804, author = {S. Kent and T. S. E. Mailbaum and W. J. Quirk}, title = {{Formally Specifying Temporal Constraints and Error Recovery}}, month = {January}, year = {1993}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1993/804}, address = {San Diego}, booktitle = {Proceedings of IEEE First International Symposium on Requirements Engineering (RE93)}, }