TITLE     : A formal verification environment for railway signaling system design
AUTHOR(S) : Bernadeschi C., Fantechi A., Gnesi S., Larosa S., Mongardi G., Romano D.
TYPE      : Other
YEAR      : 1995
CODE      : 408229

*** DO NOT EDIT THIS FILE ***