Tools and Algorithms for the Construction and Analysis of Systems: Proc./Third Intern. Workshop, TACAS 97. Enschede, The Netherlands, April 1997

Б2.2, Б2.4, Б3.54, А3.54.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./Third Intern. Workshop, TACAS 97. Enschede, The Netherlands, April 1997Ed. by Brinksma E..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1217.-433 p.-(Lecture Notes in Computer Science).