Susanne Graf, Doron Peled, Sophie Quinton. Achieving Distributed Control through Model Checking. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 396-409, Springer, 2010. [doi]
@inproceedings{GrafPQ10,
title = {Achieving Distributed Control through Model Checking},
author = {Susanne Graf and Doron Peled and Sophie Quinton},
year = {2010},
doi = {10.1007/978-3-642-14295-6_35},
url = {http://dx.doi.org/10.1007/978-3-642-14295-6_35},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/GrafPQ10},
cites = {0},
citedby = {0},
pages = {396-409},
booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
editor = {Tayssir Touili and Byron Cook and Paul Jackson},
volume = {6174},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14294-9},
}