Name Card

Full name Familienname, Vorname
Metzler, Patrick
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting safe thread schedules from incomplete model checking resultsArtikel Article 2020
2Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting Safe Thread Schedules from Incomplete Model Checking ResultsKonferenzbeitrag Inproceedings 2019