|
[BCHG+97]
C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska and M. Ryan.
Symbolic Model Checking for Probabilistic Processes.
In P. Degano and R. Gorrieri and A. Marchetti-Spaccamela (editors), Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of LNCS, pages 430-440, Springer.
1997.
[ps.gz]
[bib]
|
|
Downloads:
 ps.gz (67 KB)
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|