TY  - JOUR

T1  - Model Checking Stochastic Automata

JO  - ACM Transactions on Computational Logic

PY  - 2003/01/01

AU  - Bryans J

AU  - Bowman H

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/937555.937558

VL  - 4

IS  - 4

SP  - 452

EP  - 492

Y2  - 2025/01/13

ER  -