|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analysis of three hybrid systems in timed μCRL |
Groote, Jan Friso |
2001 |
39 | 2-3 |
p. 215-247 33 p. |
artikel |
|
| 2 | Author index of Volume 39 |
2001 |
39 | 2-3 |
p. 273- 1 p. |
artikel |
||
| 3 | Distributed directory service and message routing for mobile agents |
Moreau, Luc |
2001 |
39 | 2-3 |
p. 249-272 24 p. |
artikel |
|
| 4 | Mechanisms for naming An algebraic approach with an application to Java |
Feijs, Loe M.G. |
2001 |
39 | 2-3 |
p. 149-188 40 p. |
artikel |
|
| 5 | On a formal semantics of tabular expressions |
Janicki, Ryszard |
2001 |
39 | 2-3 |
p. 189-213 25 p. |
artikel |
5 gevonden resultaten