© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Temporal Logic view of Paradigm specifications
J.C. Augusto and R. Gomez
In Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pages 182-196, Ischia, Italy, July 2002.Bibtex Record
@inproceedings{1646,
author = {J.C. Augusto and R. Gomez},
title = {A {T}emporal {L}ogic View of {P}aradigm Specifications},
month = {July},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1646},
publication_type = {inproceedings},
submission_id = {13162_1057656408},
booktitle = {Proceedings of 14th. International Conference on Software Engineering and Knowledge Engineering (SEKE'02)},
address = {Ischia, Italy},
refereed = {Yes},
}