|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A LOTOS based tutorial on formal methods for object-oriented distributed systems |
Bowman, Howard |
1998 |
16 | 4 |
p. 343-372 |
artikel |
|
| 2 | How to realize LSE narrowing |
Werner, Andreas |
1998 |
16 | 4 |
p. 397-433 |
artikel |
|
| 3 | List of referees (1995/1996) |
1998 |
16 | 4 |
p. 435-436 |
artikel |
||
| 4 | Non-determinism and weak constraints in Datalog |
Greco, Sergio |
1998 |
16 | 4 |
p. 373-395 |
artikel |
4 gevonden resultaten