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, Israel
Haifa, Israel
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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