TITLE     : The role of formal methods in developing a distribuited railwai interlocking system
AUTHOR(S) : Banci M, Fantechi A, Gnesi S
TYPE      : Other
YEAR      : 2004
CODE      : 120519

*** DO NOT EDIT THIS FILE ***