17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event name
17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event type
Event for scientific audience
Start date
26-03-2011
End date
03-04-2011
Location
Saarbrücken
Country
Germany
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).