|
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 | An SR approach to multiway rendezvous |
Coffin, Michael |
1989 |
14 | 4 |
p. 255-262 8 p. |
artikel |
|
| 2 | A parallel implementation of the SCAN language |
Bourbakis, Nikolaos G. |
1989 |
14 | 4 |
p. 239-254 16 p. |
artikel |
|
| 3 | Incremental attribute evaluation through recursive procedures |
Murching, Arvind M. |
1989 |
14 | 4 |
p. 225-237 13 p. |
artikel |
|
| 4 | List of contents and author index |
1989 |
14 | 4 |
p. i-iv nvt p. |
artikel |
||
| 5 | Symbolic execution of concurrent systems using Petri nets |
Ghezzi, Carlo |
1989 |
14 | 4 |
p. 263-281 19 p. |
artikel |
5 gevonden resultaten