|
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 | An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists |
Jason Baumgartner |
2003 |
23 | 1 |
p. 39-65 27 p. |
artikel |
|
| 2 | An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists |
Baumgartner, Jason |
2003 |
23 | 1 |
p. 39-65 |
artikel |
|
| 3 | Dynamic Partitioning in Linear Relation Analysis Application to the Verification of Reactive Systems |
B. Jeannet |
2003 |
23 | 1 |
p. 5-37 33 p. |
artikel |
|
| 4 | Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems |
Jeannet, B. |
2003 |
23 | 1 |
p. 5-37 |
artikel |
|
| 5 | Symbolic Verification and Analysis of Discrete Timed Systems |
Jürgen Ruf |
2003 |
23 | 1 |
p. 67-108 42 p. |
artikel |
|
| 6 | Symbolic Verification and Analysis of Discrete Timed Systems |
Ruf, Jürgen |
2003 |
23 | 1 |
p. 67-108 |
artikel |
6 gevonden resultaten