DMCA

A model checking approach for verifying COWS specifications (2007)

Cached

Download Links

by Ro Fantechi , Stefania Gnesi , Ro Lapadula , Franco Mazzanti , Rosario Pugliese , Francesco Tiezzi
Citations:26 - 17 self