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}, }