PUMA/RiSE Workshop

View Statistics Email Alert RSS Feed

Description

Event name
PUMA/RiSE Workshop
 
Event type
Event for scientific audience
 
Start date
29-09-2014
End date
03-10-2014
 
Location
Mondsee
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Treffer 1-2 von 2 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-based Debugging Tool for State Machines and Sequence DiagramsPräsentation Presentation2014
2Lonsing, Florian Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationPräsentation Presentation2015