TITLE     : Implementazione in SML di un traduttore da automi gerarchici a Promela
AUTHOR(S) : Giusti E, Latella D
TYPE      : Other
YEAR      : 1998
CODE      : 412576

*** DO NOT EDIT THIS FILE ***