F.: A model checking approach for verifying COWS specifications. (2008)

by A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, Tiezzi
Venue:FASE 2008. LNCS,