|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces |
Blom, Stefan |
2002 |
68 | 4 |
p. 523-538 16 p. |
artikel |
|
| 2 | A Performance Study of Distributed Timed Automata Reachability Analysis |
Behrmann, Gerd |
2002 |
68 | 4 |
p. 486-502 17 p. |
artikel |
|
| 3 | A Symbolic Out-of-Core Solution Method for Markov Models |
Kwiatkowska, Marta |
2002 |
68 | 4 |
p. 589-604 16 p. |
artikel |
|
| 4 | Different directions in parallel and distributed model checking |
Grumberg, Orna |
2002 |
68 | 4 |
p. 485- 1 p. |
artikel |
|
| 5 | Effective State Exploration for Model Checking on a Shared Memory Architecture |
Inggs, Cornelia P. |
2002 |
68 | 4 |
p. 605-620 16 p. |
artikel |
|
| 6 | Local Distributed Model Checking of Reg CTL |
Brázdil, Tomáš |
2002 |
68 | 4 |
p. 575-588 14 p. |
artikel |
|
| 7 | Model Checking: A Complexity-Theoretic Perspective |
Vardi, Moshe |
2002 |
68 | 4 |
p. 484- 1 p. |
artikel |
|
| 8 | Preface |
Brim, Lubos |
2002 |
68 | 4 |
p. 483- 1 p. |
artikel |
|
| 9 | Sequential and Distributed Model Checking of Petri Net Specifications |
Bell, Alexander |
2002 |
68 | 4 |
p. 539-558 20 p. |
artikel |
|
| 10 | Using Assumptions to Distribute CTL Model Checking |
Brim, Luboš |
2002 |
68 | 4 |
p. 559-574 16 p. |
artikel |
|
| 11 | Zeus: A Distributed Timed Model-Checker Based on Kronos |
Braberman, V. |
2002 |
68 | 4 |
p. 503-522 20 p. |
artikel |
11 gevonden resultaten