C | |
---|---|
[CPR+02] | Alessandro Cimatti,
Marco Pistore,
Marco Roveri et
Roberto Sebastiani.
Improving the Encoding of LTL Model Checking into
SAT.
In VMCAI'02,
Lecture Notes in Computer Science 2294, pages 196-207. Springer-Verlag, janvier 2002.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1