Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006

Б2.2, Б3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006Ed. by Hermanns H., Palsberg J..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3920.-506 p.-(Lecture Notes in Computer Science).