TITLE     : Metric semantics for true concurrent real time (Ext. Abs.)
AUTHOR(S) : Baier C, Katoen J, Latella D
TYPE      : Conference article
YEAR      : 1998
CODE      : 190725

*** DO NOT EDIT THIS FILE ***