|
Journals in DBLP
- Ofer Strichman
Accelerating Bounded Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:1, pp:5-24 [Journal]
- Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
SAT-Solving the Coverability Problem for Petri Nets. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:1, pp:25-43 [Journal]
- Leila Silva, Augusto Sampaio, Edna Barros
A Constructive Approach to Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:1, pp:45-90 [Journal]
|