TACAS 2008 (du 29 mars au 6 avril 2008)
27th June 2007
Fourteenth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS
Budapest, Hungary, 29 March – 6 April, 2008
Soumission des articles : 12 octobre 2007
Notification de l’acceptation : 7 decembre 2007