![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer: Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE 2005: 688-689 | |
| 1 | Gianpiero Cabodi | [1] |
| 2 | Sergio Nocco | [1] |
| 3 | Stefano Quer | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page