|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces |
Blom, Stefan |
2002 |
68 | 4 |
p. 523-538 16 p. |
article |
|
| 2 | A Performance Study of Distributed Timed Automata Reachability Analysis |
Behrmann, Gerd |
2002 |
68 | 4 |
p. 486-502 17 p. |
article |
|
| 3 | A Symbolic Out-of-Core Solution Method for Markov Models |
Kwiatkowska, Marta |
2002 |
68 | 4 |
p. 589-604 16 p. |
article |
|
| 4 | Different directions in parallel and distributed model checking |
Grumberg, Orna |
2002 |
68 | 4 |
p. 485- 1 p. |
article |
|
| 5 | Effective State Exploration for Model Checking on a Shared Memory Architecture |
Inggs, Cornelia P. |
2002 |
68 | 4 |
p. 605-620 16 p. |
article |
|
| 6 | Local Distributed Model Checking of Reg CTL |
Brázdil, Tomáš |
2002 |
68 | 4 |
p. 575-588 14 p. |
article |
|
| 7 | Model Checking: A Complexity-Theoretic Perspective |
Vardi, Moshe |
2002 |
68 | 4 |
p. 484- 1 p. |
article |
|
| 8 | Preface |
Brim, Lubos |
2002 |
68 | 4 |
p. 483- 1 p. |
article |
|
| 9 | Sequential and Distributed Model Checking of Petri Net Specifications |
Bell, Alexander |
2002 |
68 | 4 |
p. 539-558 20 p. |
article |
|
| 10 | Using Assumptions to Distribute CTL Model Checking |
Brim, Luboš |
2002 |
68 | 4 |
p. 559-574 16 p. |
article |
|
| 11 | Zeus: A Distributed Timed Model-Checker Based on Kronos |
Braberman, V. |
2002 |
68 | 4 |
p. 503-522 20 p. |
article |
11 results found