© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Calculating upward and downward simulations of state-based specifications
John Derrick and Eerke Boiten
Information and Software Technology, 41:917-923, 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 = {917-923},
keywords = {Refinement; State-based systems; Z; Calculating refinements.},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/746},
Issue = {13},
Journal = {Information and Software Technology},
Volume = {41},
}