Theoretical and Practical Aspects of SPIN Model Checking: Proc./5th and 6th Intern. SPIN Workshops, Trento, Italy, July 1999; Toulouse, France, September 1999

Б2.2, Б3.54.

Theoretical and Practical Aspects of SPIN Model Checking: Proc./5th and 6th Intern. SPIN Workshops, Trento, Italy, July 1999; Toulouse, France, September 1999Ed. by Dams D., Gerth R., Leue S., Massink M..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1680.-277 p.-(Lecture Notes in Computer Science).