TITLE     : Un'esperienza di specifica e verifica formale di un sottosistema di segnalamento ferroviario
AUTHOR(S) : Anselmi A, Bernardeschi C., Fantechi A., Gnesi S., Larosa S., Mongardi G., Torielli F.
TYPE      : Conference article
YEAR      : 1995
CODE      : 409082

*** DO NOT EDIT THIS FILE ***