|
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 Calculus and logic of resources and processes |
Pym, David |
2006 |
18 | 4 |
p. 495-517 |
artikel |
|
| 2 | Analysis of a biphase mark protocol with Uppaal and PVS |
Vaandrager, F. W. |
2006 |
18 | 4 |
p. 433-458 |
artikel |
|
| 3 | An approximation algorithm for state minimization in 2-MDFAs |
Subramani, K. |
2006 |
18 | 4 |
p. 421-431 |
artikel |
|
| 4 | How to stop time stopping |
Bowman, Howard |
2006 |
18 | 4 |
p. 459-493 |
artikel |
|
| 5 | On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams |
Tenzer, Jennifer |
2006 |
18 | 4 |
p. 397-420 |
artikel |
5 gevonden resultaten