|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated verification and refinement for physical-layer protocols |
Brown, Geoffrey M. |
2010 |
23 | 3 |
p. 243-266 |
artikel |
|
| 2 | Elucidating concurrent algorithms via layers of abstraction and reification |
Jones, Cliff B. |
2010 |
23 | 3 |
p. 289-306 |
artikel |
|
| 3 | Model checking with bounded context switching |
Holzmann, Gerard J. |
2010 |
23 | 3 |
p. 365-389 |
artikel |
|
| 4 | Partial order semantics for use case and task models |
Sinnig, Daniel |
2010 |
23 | 3 |
p. 307-332 |
artikel |
|
| 5 | Soundness of workflow nets: classification, decidability, and analysis |
Aalst, W. M. P. van der |
2010 |
23 | 3 |
p. 333-363 |
artikel |
|
| 6 | The dynamic frames theory |
Kassios, I. T. |
2010 |
23 | 3 |
p. 267-288 |
artikel |
|
| 7 | The Humble Humorous Researcher: A Tribute to Michel Sintzoff |
Lamsweerde, Axel van |
2011 |
23 | 3 |
p. 239-242 |
artikel |
|
| 8 | The Humble Humorous Researcher: A Tribute to Michel Sintzoff |
van Lamsweerde, Axel |
|
23 | 3 |
p. 239-242 |
artikel |
8 gevonden resultaten