© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Using coupled simulations in non-atomic refinement
John Derrick and Heike Wehrheim
In D Bert, J Bowen, S King, and M Walden, editors, ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science, pages 182-196. Springer, June 2003. Download publication 323 kbytes (PostScript)Bibtex Record
@inproceedings{1628,
author = {John Derrick and Heike Wehrheim},
title = {Using coupled simulations in non-atomic refinement},
month = {June},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1628},
publication_type = {inproceedings},
submission_id = {18169_1055166267},
ISBN = {3-540-40253-5},
booktitle = {ZB 2003: Formal Specification and Development in Z and B},
editor = {D Bert and J Bowen and S King and M Walden},
volume = {2651},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}