|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 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 |
2005 |
7 | 1 |
p. 74-86 |
artikel |
|
| 2 | Assumption-based distribution of CTL model checking |
Brim, Luboš |
2004 |
7 | 1 |
p. 61-73 |
artikel |
|
| 3 | Distributed reachability analysis in timed automata |
Behrmann, Gerd |
2003 |
7 | 1 |
p. 19-30 |
artikel |
|
| 4 | Introductory paper |
Brim, Luboš |
2005 |
7 | 1 |
p. 1-3 |
artikel |
|
| 5 | Issues in distributed timed model checking |
Braberman, Víctor |
2004 |
7 | 1 |
p. 4-18 |
artikel |
|
| 6 | Parallel search for LTL violations |
Jones, Michael D. |
2003 |
7 | 1 |
p. 31-42 |
artikel |
|
| 7 | Sequential and distributed model checking of Petri nets |
Bell, Alexander |
2004 |
7 | 1 |
p. 43-60 |
artikel |
7 gevonden resultaten