Efficient Model Checking of Networked Applications

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Efficient Model Checking of Networked Applications. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 22-40, Springer, 2008. [doi]

Abstract

Abstract is missing.