![](/img/cover-not-exists.png)
[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Boosting the Role of Inductive Invariants in Model Checking
Cabodi, Gianpiero, Nocco, Sergio, Quer, StefanoYear:
2007
Language:
english
DOI:
10.1109/DATE.2007.364480
File:
PDF, 135 KB
english, 2007