Full name Familienname, Vorname
Blom, Stefan
 

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Blom, Stefan ; van Dijk, Tom ; Gijis, Kant ; Laarman, Alfons ; Meijer, Jeroen ; van de Pol, Jaco LTSmin: High-Performance Language-Independent Model CheckingKonferenzbeitrag Inproceedings 2015