Number of items: 1.
Article
|
Bryans, J. and Bowman, H. and Derrick, J.
(2003)
Model Checking Stochastic Automata.
ACM Transactions on Computational Logic, 4
(4).
pp. 452-492.
ISSN 1529-3785.
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed Jun 19 18:50:57 2013 BST.
