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
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).