TITLE     : Yeast: A case study for a practical use of formal methods
AUTHOR(S) : Inverardi P., Krishnamurthy B., Yankelevich D.
TYPE      : Conference article
YEAR      : 1993
CODE      : 413199

*** DO NOT EDIT THIS FILE ***