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
Zugriffsart
Schlagwort
Erscheinungsdatum
Publikationstyp
Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).