TITLE     : Formal methods for intelligent transportation systems
AUTHOR(S) : Fantechi A, Flammini F, Gnesi S
TYPE      : Conference article
YEAR      : 2012
CODE      : 276096

*** DO NOT EDIT THIS FILE ***