© 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}, }