Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008 : held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 : Budapest, Hungary, March 29 - April 6, 2008 : proceedings - Ramakrishnan, C. R.; Rehof, Jakob (Lecture notes in computer science ;, 2008)