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