|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols |
Rusu, Vlad |
2001 |
50 | 4 |
p. 327-341 15 p. |
artikel |
|
| 2 | An Assertional Language for the Verification of Systems Parametric in Several Dimensions |
Delzanno, G. |
2001 |
50 | 4 |
p. 371-385 15 p. |
artikel |
|
| 3 | Networks of Processes with Parameterized State Space |
Baukus, K. |
2001 |
50 | 4 |
p. 386-400 15 p. |
artikel |
|
| 4 | Preface |
Mayr, Richard |
2001 |
50 | 4 |
p. 401-402 2 p. |
artikel |
|
| 5 | Regular Model Checking using Widening Techniques |
Touili, Tayssir |
2001 |
50 | 4 |
p. 342-356 15 p. |
artikel |
|
| 6 | Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol |
Kyas, Marcel |
2001 |
50 | 4 |
p. 357-370 14 p. |
artikel |
6 gevonden resultaten