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

*** DO NOT EDIT THIS FILE ***