Tools and Algorithms for the Construction and Analysis of Systems: Proc./Second Intern. Workshop, TACAS 96. Passau, Germany, March 1996

Б2.2, Б3.52, А3.54.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./Second Intern. Workshop, TACAS 96. Passau, Germany, March 1996Ed. by Margaria T., Steffen B..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1055.-435 p.-(Lecture Notes in Computer Science).