TITLE     : Extended transition systems for parametric bisimulation
AUTHOR(S) : Inverardi P., Priami C., Yankelevich D.
TYPE      : Other
YEAR      : 1992
CODE      : 412994

*** DO NOT EDIT THIS FILE ***