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