TITLE     : On the fly verification of networks of automata
AUTHOR(S) : Gnesi S, Mazzanti F
TYPE      : Conference article
YEAR      : 1999
CODE      : 407573

*** DO NOT EDIT THIS FILE ***