|
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 integrated environment for Spin-based C code checking |
Ratiu, Daniel |
2019 |
21 | 3 |
p. 267-286 |
artikel |
|
| 2 | An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space |
Fearnley, John |
2019 |
21 | 3 |
p. 325-349 |
artikel |
|
| 3 | A reasoning-based approach to dynamic domain reduction in test data generation |
Nikravan, Esmaeel |
2018 |
21 | 3 |
p. 351-364 |
artikel |
|
| 4 | EdSketch: execution-driven sketching for Java |
Hua, Jinru |
2019 |
21 | 3 |
p. 249-265 |
artikel |
|
| 5 | Introduction to Selected Papers from SPIN 2017 |
Erdogmus, Hakan |
2019 |
21 | 3 |
p. 247-248 |
artikel |
|
| 6 | Model checking with generalized Rabin and Fin-less automata |
Bloemen, Vincent |
2019 |
21 | 3 |
p. 307-324 |
artikel |
|
| 7 | Stateless model checking of the Linux kernel’s read–copy update (RCU) |
Kokologiannakis, Michalis |
2019 |
21 | 3 |
p. 287-306 |
artikel |
7 gevonden resultaten