TITLE     : Mean runtime analysis of stochastic process algebra using partial orders
AUTHOR(S) : Ruys T, Langerak R, Katoen J, Latella D, Massink M
TYPE      : Journal article
YEAR      : 2001
CODE      : 43941

*** DO NOT EDIT THIS FILE ***