TITLE     : A model checking approach for verifying COWS specifications
AUTHOR(S) : Gnesi S, Fantechi A, Mazzanti F, Pugliese R, La Padula A, Tiezzi F
TYPE      : Conference article
YEAR      : 2008
CODE      : 178098

*** DO NOT EDIT THIS FILE ***