|
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 | Editorial Board |
2005 |
202 | 2 |
p. CO2- 1 p. |
artikel |
||
| 2 | Editorial Board |
2005 |
202 | 2 |
p. i- 1 p. |
artikel |
||
| 3 | The existential theory of equations with rational constraints in free groups is PSPACE-complete |
Diekert, Volker |
2005 |
202 | 2 |
p. 105-140 36 p. |
artikel |
|
| 4 | Using heuristic search for finding deadlocks in concurrent systems |
Gradara, Sara |
2005 |
202 | 2 |
p. 191-226 36 p. |
artikel |
|
| 5 | Verification of probabilistic systems with faulty communication |
Abdulla, P.A. |
2005 |
202 | 2 |
p. 141-165 25 p. |
artikel |
|
| 6 | Verification of programs with half-duplex communication |
Cécé, Gérard |
2005 |
202 | 2 |
p. 166-190 25 p. |
artikel |
|
| 7 | Volume Author Index |
2005 |
202 | 2 |
p. 227- 1 p. |
artikel |
7 gevonden resultaten