TITLE     : Metric semantics for true concurrent real time
AUTHOR(S) : Katoen Jp, Baier C, Latella D
TYPE      : Journal article
YEAR      : 2001
CODE      : 43942

*** DO NOT EDIT THIS FILE ***