Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS . ISBN 9783540330561. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.