TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2016

Event name
TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2016
 
Event type
Event for scientific audience
 
Start date
02-04-2016
End date
08-04-2016
 
Location
Eindhoven
Country
Netherlands
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Guenther Henning - 2016 - Vienna Verification Tool IC3 for Parallel Software.pdf.jpgGünther, Henning ; Laarman, Alfons ; Weissenbacher, Georg Vienna Verification Tool: IC3 for Parallel SoftwareInproceedings Konferenzbeitrag 2016