© University of Kent - Contact | Feedback | Legal | FOI | Cookies
RISCSIM - A Simulator for Object-based Systems
P.F. Linington
In Proc. UKSIM'99 Conference of the UK Simulation Society, pages 182-196. UK Simulation Society, April 1999.Bibtex Record
@inproceedings{741,
author = {P.F. Linington},
title = {{RISCSIM} - {A} {S}imulator for {O}bject-based {S}ystems},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/741},
ISBN = {0-905488-38-5},
booktitle = {Proc. UKSIM'99 Conference of the UK Simulation Society},
editors = {David Al-Dabass and Russell Cheng},
publisher = {UK Simulation Society},
refereed = {yes},
}