|
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 | Architectural modifications to deployed software |
Klusener, A.S. |
2005 |
54 | 2-3 |
p. 143-211 69 p. |
artikel |
|
| 2 | A semantic and methodological essence of message sequence charts |
Broy, Manfred |
2005 |
54 | 2-3 |
p. 213-256 44 p. |
artikel |
|
| 3 | Author Index |
2005 |
54 | 2-3 |
p. 315-316 2 p. |
artikel |
||
| 4 | Compositionality and locality for improving model checking in the selective mu-calculus |
Santone, Antonella |
2005 |
54 | 2-3 |
p. 291-311 21 p. |
artikel |
|
| 5 | Editorial Board |
2005 |
54 | 2-3 |
p. IFC- 1 p. |
artikel |
||
| 6 | Erratum to “Book review: Process algebra with timing” [Sci. Comput. Programming 51 (2004) 291–292] |
Vereijken, Jan Joris |
2005 |
54 | 2-3 |
p. 313- 1 p. |
artikel |
|
| 7 | XML stream transformer generation through program composition and dependency analysis |
Nishimura, Susumu |
2005 |
54 | 2-3 |
p. 257-290 34 p. |
artikel |
7 gevonden resultaten