Full name Familienname, Vorname
Laarman, Alfons
 

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Günther, Henning ; Laarman, Alfons ; Sokolova, Ana ; Weissenbacher, Georg Dynamic Reductions for Model Checking Concurrent SoftwareKonferenzbeitrag Inproceedings 2017
2Blom, Stefan ; van Dijk, Tom ; Gijis, Kant ; Laarman, Alfons ; Meijer, Jeroen ; van de Pol, Jaco LTSmin: High-Performance Language-Independent Model CheckingKonferenzbeitrag Inproceedings 2015
3Laarman, Alfons ; Wijs, Anton Partial-Order Reduction for Multi-core LTL Model CheckingKonferenzbeitrag Inproceedings 2014