|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A CSP model of Eiffel’s SCOOP |
Brooke, Phillip J. |
2007 |
19 | 4 |
p. 487-512 |
artikel |
|
| 2 | An approach to formal verification of human–computer interaction |
Curzon, Paul |
2007 |
19 | 4 |
p. 513-550 |
artikel |
|
| 3 | Deciding orthogonal bisimulation |
Vu, Thuy Duong |
2007 |
19 | 4 |
p. 475-485 |
artikel |
|
| 4 | Editorial |
Jones, Cliff |
2007 |
19 | 4 |
p. 415-416 |
artikel |
|
| 5 | Errata for Formal Aspects of Computing (2006) 18:495–517 and their consequences |
Collinson, Matthew |
2007 |
19 | 4 |
p. 551-554 |
artikel |
|
| 6 | Minimal refinements of specifications in modal and temporal logics |
Gorogiannis, Nikos |
2007 |
19 | 4 |
p. 417-444 |
artikel |
|
| 7 | Thread algebra for strategic interleaving |
Bergstra, J. A. |
2007 |
19 | 4 |
p. 445-474 |
artikel |
7 gevonden resultaten