Interactive Systems: Design, Specification, and Verification: Proc./15th International Workshop, DSV-IS 2008. Kingston, Canada, July 2008

Б3.5, В2.46.

Interactive Systems: Design, Specification, and Verification: Proc./15th International Workshop, DSV-IS 2008. Kingston, Canada, July 2008Ed. by Graham T.C. N., Palanque Ph..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5136.-311 p.-(Lecture Notes in Computer Science).