TITLE     : First passage time analysis of stochastic process algebra using partial orders
AUTHOR(S) : Ruysrom Tc, Langerak R, Katoen Jp, Latella D, Massink M
TYPE      : Conference article
YEAR      : 2001
CODE      : 190550

*** DO NOT EDIT THIS FILE ***