Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995

Б2.2, Б3.5, А3.54.

Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995Ed. by Brinksma E., Cleaveland W. R., Larsen K. G., Margaria T..-Berlin, Heidelberg.: Springer, 1995.-Vol. 1019.-291 p.-(Lecture Notes in Computer Science).