C | |
---|---|
[CCG+99] | Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia, and
Marco Roveri.
NuSMV: A New Symbolic Model Verifier.
In CAV'99,
Lecture Notes in Computer Science 1633, pages 495-499. Springer-Verlag, July 1999.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1