Number of items: 1.
2003
|
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 May 22 16:28:16 2013 BST.
