ePrints

A model checking algorithm for stochastic systems

Lookup NU author(s): Dr Jeremy Bryans

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Bowman H, Bryans J, Derrick J

Publication type: Report

Publication status: Published

Series Title:

Year: 2000

Report Number: 4-00

Institution: University of Kent at Canterbury

Place Published: Canterbury, UK

Share