|
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 | A Nitpick Analysis of Mobile IPv6 |
Jackson, Daniel |
1999 |
11 | 6 |
p. 591-615 |
artikel |
|
| 2 | Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker |
Latella, Diego |
1999 |
11 | 6 |
p. 637-664 |
artikel |
|
| 3 | Graph Transformation Units with Interleaving Semantics |
Kreowski, Hans-Jörg |
1999 |
11 | 6 |
p. 690-723 |
artikel |
|
| 4 | Predicate Transformers for Recursive Procedures with Local Variables |
Hesselink, Wim H. |
1999 |
11 | 6 |
p. 616-636 |
artikel |
|
| 5 | The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction |
Duke, David |
1999 |
11 | 6 |
p. 665-689 |
artikel |
5 gevonden resultaten