Deadlines
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Submitted Papers
125
Accepted Papers
36
Venue
University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione, Genova, Ligurian, Italy
The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001