Bob de Vos, Lennart C. L. Kats, Cornelis Pronk. EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax. In Model Checking Software. Proceedings of the 18th International SPIN Workshop. Volume 6823 of Lecture Notes in Computer Science, pages 177-182, Springer, 2011. [doi]
@inproceedings{VKP2011,
title = {{EpiSpin}: An {Eclipse} Plug-In for {Promela/Spin} Using {Spoofax}},
author = {Bob de Vos and Lennart C. L. Kats and Cornelis Pronk},
year = {2011},
doi = {10.1007/978-3-642-22306-8_12},
url = {http://dx.doi.org/10.1007/978-3-642-22306-8_12},
tags = {workbench, Eclipse, model editor, meta-model, modeling language, modeling, language modeling, C++, language workbench, Spoofax, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/VKP2011},
cites = {0},
citedby = {0},
pages = {177-182},
booktitle = {Model Checking Software. Proceedings of the 18th International SPIN Workshop},
volume = {6823},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}