IJCAR: International Joint Conference on Automated Reasoning 2016

View Statistics Email Alert RSS Feed

Description

Event name
IJCAR: International Joint Conference on Automated Reasoning 2016
 
Event type
Event for scientific audience
 
Start date
27-06-2016
End date
02-07-2016
 
Location
Coimbra
Country
Portugal
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Aminof Benjamin - 2016 - Model Checking Parameterised Multi-token Systems via...pdf.jpgAminof, Benjamin ; Rubin, Sasha Model Checking Parameterised Multi-token Systems via the Composition MethodInproceedings Konferenzbeitrag 2016
2Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016