|
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 | An abort-aware model of transactional programming |
Etessami, Kousha |
2011 |
13 | 6 |
p. 537-551 |
artikel |
|
| 2 | Average-price-per-reward games on hybrid automata with strong resets |
Rutkowski, Michał |
2010 |
13 | 6 |
p. 553-569 |
artikel |
|
| 3 | Finding concurrency-related bugs using random isolation |
Kidd, Nicholas |
2011 |
13 | 6 |
p. 495-518 |
artikel |
|
| 4 | LTL generalized model checking revisited |
Godefroid, Patrice |
2010 |
13 | 6 |
p. 571-584 |
artikel |
|
| 5 | Preface to a special section on verification, model checking, and abstract interpretation |
Jones, Neil D. |
2011 |
13 | 6 |
p. 491-493 |
artikel |
|
| 6 | SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities |
Laviron, Vincent |
2011 |
13 | 6 |
p. 585-601 |
artikel |
|
| 7 | Synthesizing switching logic using constraint solving |
Taly, Ankur |
2010 |
13 | 6 |
p. 519-535 |
artikel |
7 gevonden resultaten