TITLE     : Partial order models for quantitative extensions of LOTOS
AUTHOR(S) : Brinksma E, Katoen J, Langerak R, Latella D
TYPE      : Journal article
YEAR      : 1998
CODE      : 190051

*** DO NOT EDIT THIS FILE ***