|
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 | Delay-Insensitivity and Semi-Modularity |
J.A. Brzozowski |
2000 |
16 | 2 |
p. 191-218 28 p. |
artikel |
|
| 2 | Delay-Insensitivity and Semi-Modularity |
Brzozowski, J.A. |
2000 |
16 | 2 |
p. 191-218 |
artikel |
|
| 3 | Reasoning About Analog-Level Implementationsof Digital Systems |
Keith Hanna |
2000 |
16 | 2 |
p. 127-158 32 p. |
artikel |
|
| 4 | Reasoning About Analog-Level Implementations of Digital Systems |
Hanna, Keith |
2000 |
16 | 2 |
p. 127-158 |
artikel |
|
| 5 | Verification of Safety Properties Using IntegerProgramming Beyond the State Equation |
Javier Esparza |
2000 |
16 | 2 |
p. 159-189 31 p. |
artikel |
|
| 6 | Verification of Safety Properties Using Integer Programming: Beyond the State Equation |
Esparza, Javier |
2000 |
16 | 2 |
p. 159-189 |
artikel |
6 gevonden resultaten