School of Computing

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)},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014