|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A calculus for reasoning about software composition |
Achermann, Franz |
2005 |
331 | 2-3 |
p. 367-396 30 p. |
artikel |
|
| 2 | A compositional approach to CTL * verification |
Kesten, Yonit |
2005 |
331 | 2-3 |
p. 397-428 32 p. |
artikel |
|
| 3 | A coordination approach to mobile components |
Pattinson, Dirk |
2005 |
331 | 2-3 |
p. 457-483 27 p. |
artikel |
|
| 4 | An assertion-based proof system for multithreaded Java |
Ábrahám, Erika |
2005 |
331 | 2-3 |
p. 251-290 40 p. |
artikel |
|
| 5 | Author index |
2005 |
331 | 2-3 |
p. 485-486 2 p. |
artikel |
||
| 6 | Coalgebraic minimization of HD-automata for the π -calculus using polymorphic types |
Ferrari, Gianluigi |
2005 |
331 | 2-3 |
p. 325-365 41 p. |
artikel |
|
| 7 | Preface |
de Boer, Frank |
2005 |
331 | 2-3 |
p. 249-250 2 p. |
artikel |
|
| 8 | Semantic models of a timed distributed dataspace architecture |
Hooman, Jozef |
2005 |
331 | 2-3 |
p. 291-323 33 p. |
artikel |
|
| 9 | Verification and refinement with fine-grained action-based concurrent objects |
Sekerinski, Emil |
2005 |
331 | 2-3 |
p. 429-455 27 p. |
artikel |
9 gevonden resultaten