© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Linear temporal logic and Z refinement
John Derrick and Graeme Smith
In C. Rattray, S Maharaj, and C Shankland, editors, Algebraic Methodology and Software Technology (AMAST 2004), volume 3116 of Lecture Notes in Computer Science, pages 182-196. Springer, July 2004.Bibtex Record
@inproceedings{1938,
author = {John Derrick and Graeme Smith},
title = {{Linear temporal logic and Z refinement}},
month = {July},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1938},
publication_type = {inproceedings},
submission_id = {15544_1089971236},
booktitle = {Algebraic Methodology and Software Technology (AMAST 2004)},
editor = {C. Rattray and S Maharaj and C Shankland},
volume = {3116},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}