| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Benchmarking Explicit State Parallel Model Checkers
|
Jones, Mike
|
|
2003
|
89 |
1 |
p. 84-98
15 p.
|
article
|
| 2 |
Compressed and Distributed File Formats for Labeled Transition Systems
|
Blom, Stefan
|
|
2003
|
89 |
1 |
p. 68-83
16 p.
|
article
|
| 3 |
Distributed Branching Bisimulation Reduction of State Spaces
|
Blom, Stefan
|
|
2003
|
89 |
1 |
p. 99-113
15 p.
|
article
|
| 4 |
Distributed Explicit Bounded LTL Model Checking
|
Krčál, Pavel
|
|
2003
|
89 |
1 |
p. 33-50
18 p.
|
article
|
| 5 |
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations
|
Joubert, Christophe
|
|
2003
|
89 |
1 |
p. 114-127
14 p.
|
article
|
| 6 |
Parallel Model Checking for LTL, CTL∗, and L 2μ
|
Leucker, Martin
|
|
2003
|
89 |
1 |
p. 4-16
13 p.
|
article
|
| 7 |
Preface
|
Brim, Lubos
|
|
2003
|
89 |
1 |
p. 1-2
2 p.
|
article
|
| 8 |
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
|
Sivaraj, Hemanthkumar
|
|
2003
|
89 |
1 |
p. 51-67
17 p.
|
article
|
| 9 |
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations
|
Schuster, Assaf
|
|
2003
|
89 |
1 |
p. 3-
1 p.
|
article
|
| 10 |
Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking
|
Brim, Luboš
|
|
2003
|
89 |
1 |
p. 17-32
16 p.
|
article
|
Journal description