C | |
---|---|
[CCG+02] | Alessandro Cimatti,
Edmund M. Clarke,
Enrico Giunchiglia,
Fausto Giunchiglia,
Marco Pistore,
Marco Roveri,
Roberto Sebastiani, and
Armando Tacchella.
NuSMV2: An OpenSource Tool for Symbolic Model
Checking.
In CAV'02,
Lecture Notes in Computer Science 2404, pages 359-364. Springer-Verlag, July 2002.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1