© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Towards stochastic model checking with generalised distributions
H. Bowman, J.W. Bryans, and J. Derrick
In UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, pages 182-196, November 2000.Bibtex Record
@inproceedings{1154,
author = {H. Bowman and J.W. Bryans and J. Derrick},
title = {Towards Stochastic Model Checking with Generalised Distributions},
month = {November},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1154},
booktitle = {UKPEW 2000, 16th United Kingdom Performance Engineering Workshop},
publication_type = {inproceedings},
refereed = {yes},
submission_id = {11496_980339453},
}