|
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 | A logical encoding of the π-calculus: model checking mobile processes using tabled resolution |
Yang, Ping |
2004 |
6 | 1 |
p. 38-66 |
artikel |
|
| 2 | Behavior-based model construction |
Hungar, Hardi |
2004 |
6 | 1 |
p. 4-14 |
artikel |
|
| 3 | Certification of compiled assembly code by invariant translation |
Rival, Xavier |
2004 |
6 | 1 |
p. 15-37 |
artikel |
|
| 4 | Efficient verification of timed automata with BDD-like data structures |
Wang, Farn |
2004 |
6 | 1 |
p. 77-97 |
artikel |
|
| 5 | Preface by the section editors |
Zuck, Lenore |
2004 |
6 | 1 |
p. 1-3 |
artikel |
|
| 6 | Using simulated execution in verifying distributed algorithms |
Win, Toh Ne |
2004 |
6 | 1 |
p. 67-76 |
artikel |
6 gevonden resultaten