|
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 Symbolic Procedure for Control Reachability in the Asynchronous π-calculus |
Delzanno, Giorgio |
2004 |
98 | C |
p. 21-33 13 p. |
artikel |
|
| 2 | Completeness Results for Undecidable Bisimilarity Problems |
Srba, Jiřı́ |
2004 |
98 | C |
p. 5-19 15 p. |
artikel |
|
| 3 | Network Invariants for Real-Time Systems |
Grinchtein, Olga |
2004 |
98 | C |
p. 57-74 18 p. |
artikel |
|
| 4 | On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit |
Křetı́nský, Mojmı́r |
2004 |
98 | C |
p. 75-88 14 p. |
artikel |
|
| 5 | Petri Nets with Non-blocking Arcs are Difficult to Analyze |
Raskin, Jean-François |
2004 |
98 | C |
p. 35-55 21 p. |
artikel |
|
| 6 | Preface |
Schnoebelen, Ph |
2004 |
98 | C |
p. 1- 1 p. |
artikel |
|
| 7 | The Affine Hull of a Binary Automaton is Computable in Polynomial Time |
Leroux, Jérôme |
2004 |
98 | C |
p. 89-104 16 p. |
artikel |
|
| 8 | Verifying Programs that Manipulate Pointers |
Møller, Anders |
2004 |
98 | C |
p. 3-4 2 p. |
artikel |
8 gevonden resultaten