ePrints

A Manual for a Model Checker for Stochastic Automata

Lookup NU author(s): Dr Jeremy Bryans

Downloads

Full text is not currently available for this publication.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title:

Year: 2000

Report Number: 5-00

Institution: University of Kent at Canterbury

Place Published: Canterbury, UK

Share