Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan. Parallel and Distributed Model Checking in Eddy. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 108-125, Springer, 2006. [doi]
@inproceedings{MelattiPSYKG06,
title = {Parallel and Distributed Model Checking in Eddy},
author = {Igor Melatti and Robert Palmer and Geoffrey Sawaya and Yu Yang and Robert M. Kirby and Ganesh Gopalakrishnan},
year = {2006},
doi = {10.1007/11691617_7},
url = {http://dx.doi.org/10.1007/11691617_7},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/MelattiPSYKG06},
cites = {0},
citedby = {0},
pages = {108-125},
booktitle = {Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings},
editor = {Antti Valmari},
volume = {3925},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-33102-6},
}