|
Journals in DBLP
STTT 2006, volume: 8, number: 1
- Hubert Garavel, John Hatcliff
Why you should definitely read this special section. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:1-3 [Journal]
- Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu
The saturation algorithm for symbolic state-space exploration. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:4-25 [Journal]
- Constantinos Bartzis, Tevfik Bultan
Efficient BDDs for bounded arithmetic constraints. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:26-36 [Journal]
- Radu Mateescu
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:37-56 [Journal]
- Liana Bozga, Yassine Lakhnech, Michaël Périn
Pattern-based abstraction for verifying secrecy in protocols. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:57-76 [Journal]
- Jan Friso Groote, Frank van Ham
Interactive visualization of large state spaces. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:1, pp:77-91 [Journal]
|