@proceedings{DBLP:conf/tacas/2010,
editor = {Javier Esparza and
Rupak Majumdar},
title = {Tools and Algorithms for the Construction and Analysis of
Systems, 16th International Conference, TACAS 2010, Held
as Part of the Joint European Conferences on Theory and
Practice of Software, ETAPS 2010, Paphos, Cyprus, March
20-28, 2010. Proceedings},
booktitle = {TACAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6015},
year = {2010},
isbn = {978-3-642-12001-5},
ee = {http://dx.doi.org/10.1007/978-3-642-12002-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}