Tools and Algorithms for the Construction and Analysis of Systems: Proc./4th Intern. Conf., TACAS 98 Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998

Б2.2, Б3.5, А3.54.

Tools and Algorithms for the Construction and Analysis of Systems: Proc./4th Intern. Conf., TACAS 98 Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 98. Lisbon, Portugal, March-April 1998Ed. by Steffen B..-Berlin, Heidelberg.: Springer, 1998.-Vol. 1384.-457 p.-(Lecture Notes in Computer Science).