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]
@inproceedings{ArthoLHT08:0,
title = {Efficient Model Checking of Networked Applications},
author = {Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe},
year = {2008},
doi = {10.1007/978-3-540-69824-1_3},
url = {http://dx.doi.org/10.1007/978-3-540-69824-1_3},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/ArthoLHT08%3A0},
cites = {0},
citedby = {0},
pages = {22-40},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008},
editor = {Richard F. Paige and Bertrand Meyer},
volume = {11},
series = {Lecture Notes in Business Information Processing},
publisher = {Springer},
isbn = {978-3-540-69823-4},
}