13th International Haifa Verification Conference (HVC 2017)

Event name
13th International Haifa Verification Conference (HVC 2017)
 
Event type
Event for scientific audience
 
Start date
13-11-2017
End date
15-11-2017
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
2Claessen, Koen ; Kilhamn, Jonatan ; Kovács, Laura ; Lennartson, Bengt A Supervisory Control Algorithm Based on Property-Directed ReachabilityKonferenzbeitrag Inproceedings 2017