TITLE     : Performance analysis and true concurrency semantics (extended abstract)
AUTHOR(S) : Brinksma E, Katoen Jp, Langerak R, Latella D
TYPE      : Conference article
YEAR      : 1994
CODE      : 190782

*** DO NOT EDIT THIS FILE ***