TITLE     : Reasoning about interactive systems with stochastic models
AUTHOR(S) : Doherty G, Massink M, Faconti G
TYPE      : Other
YEAR      : 2001
CODE      : 227157

*** DO NOT EDIT THIS FILE ***