Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007

Б2.2, Б3.5.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007Ed. by Grumberg O., Huth M..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4424.-738 p.-(Lecture Notes in Computer Science).