Oxford logo
[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 ps.gz (67 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications