|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions |
Babar, Junaid |
|
24 | 1 |
p. 89-109 |
artikel |
|
| 2 | Extended abstract dependency graphs |
Enevoldsen, Søren |
|
24 | 1 |
p. 49-65 |
artikel |
|
| 3 | Extending a brainiac prover to lambda-free higher-order logic |
Vukmirović, Petar |
|
24 | 1 |
p. 67-87 |
artikel |
|
| 4 | Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019 |
Vojnar, Tomáš |
|
24 | 1 |
p. 29-31 |
artikel |
|
| 5 | Using linear algebra in decomposition of Farkas interpolants |
Blicha, Martin |
|
24 | 1 |
p. 111-125 |
artikel |
|
| 6 | Utilizing parametric systems for detection of pipeline hazards |
Charvát, Lukáš |
|
24 | 1 |
p. 1-28 |
artikel |
|
| 7 | Verifying safety of synchronous fault-tolerant algorithms by bounded model checking |
Stoilkovska, Ilina |
|
24 | 1 |
p. 33-48 |
artikel |
7 gevonden resultaten