Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings - TACAS (konference) 2006 : Vídeň, Rakousko); Hermanns, Holger, 1967-; Palsberg, Jens, 1964-; ETAPS (konference) 2006 : Vídeň, Rakousko) (Berlin : Springer, 2006)