TITLE     : Modeling systems by probabilistic process algebra: an event structures approach
AUTHOR(S) : Katoen Jp, Langerak R, Latella D
TYPE      : Conference article
YEAR      : 1994
CODE      : 190741

*** DO NOT EDIT THIS FILE ***