Tools and Algorithms for the Construction and Analysis of Systems: Proc./8th Intern. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002

Б2, Б3.5, Б1.3.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./8th Intern. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002Ed. by Katoen J. -P., Stevens P..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2280.-483 p.-(Lecture Notes in Computer Science).