|
Journals in DBLP
- Lubos Brim, Martin Leucker
Foreword. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:115-116 [Journal]
- Jiri Barnat, Ivana Cerná
Distributed breadth-first search LTL model checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:117-134 [Journal]
- Cornelia P. Inggs, Howard Barringer
CTL* model checking on a shared-memory architecture. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:135-155 [Journal]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
A work-efficient distributed algorithm for reachability analysis. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:157-175 [Journal]
- Alexander Bell, Boudewijn R. Haverkort
Distributed disk-based algorithms for model checking very large Markov chains. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:177-196 [Journal]
- Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
Dealing with practical limitations of distributed timed model checking for timed automata. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:197-214 [Journal]
|