Name Card

Full name Familienname, Vorname
Kanzelman, Robert
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
108_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationKonferenzbeitrag Inproceedings 2020