@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},
  researchr = {http://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},
}