© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Calculating upward and downward simulations of state-based specifications
John Derrick and Eerke Boiten
Information and Software Technology, 41:182-196, July 1999. Download publication 172 kbytes (PostScript)Bibtex Record
@article{746,
author = {John Derrick and Eerke Boiten},
title = {Calculating upward and downward simulations of state-based specifications},
month = {July},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/746},
Issue = {13},
Journal = {Information and Software Technology},
Volume = {41},
}