|
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 | A compositional Petri net translation of general π-calculus terms |
Devillers, Raymond |
2008 |
20 | 4-5 |
p. 429-450 |
artikel |
|
| 2 | Bisimulations in calculi modelling membranes |
Barbuti, Roberto |
2008 |
20 | 4-5 |
p. 351-377 |
artikel |
|
| 3 | Capture-avoiding substitution as a nominal algebra |
Gabbay, Murdoch J. |
2008 |
20 | 4-5 |
p. 451-479 |
artikel |
|
| 4 | Deductive verification of alternating systems |
Slanina, Matteo |
2008 |
20 | 4-5 |
p. 507-560 |
artikel |
|
| 5 | Guest Editorial |
Barkaoui, Kamel |
2008 |
20 | 4-5 |
p. 349-350 |
artikel |
|
| 6 | Model checking Duration Calculus: a practical approach |
Meyer, Roland |
2008 |
20 | 4-5 |
p. 481-505 |
artikel |
|
| 7 | Property-directed incremental invariant generation |
Bradley, Aaron R. |
2008 |
20 | 4-5 |
p. 379-405 |
artikel |
|
| 8 | Reachability analysis of fragments of mobile ambients in AC term rewriting |
Delzanno, Giorgio |
2008 |
20 | 4-5 |
p. 407-428 |
artikel |
8 gevonden resultaten