TITLE     : Automatizing parametric reasoning on distributed systems
AUTHOR(S) : Inverardi P., Priami C., Yankelevich D.
TYPE      : Journal article
YEAR      : 1994
CODE      : 409415

*** DO NOT EDIT THIS FILE ***