Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

Elena Planas, David Sanchez-Mendoza, Jordi Cabot, Cristina Gómez. Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models. In Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong-Li Lee, editors, Advances in Conceptual Modeling - ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings. Volume 7518 of Lecture Notes in Computer Science, pages 378-382, Springer, 2012. [doi]

@inproceedings{PlanasSCG12,
  title = {Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models},
  author = {Elena Planas and David Sanchez-Mendoza and Jordi Cabot and Cristina Gómez},
  year = {2012},
  doi = {10.1007/978-3-642-33999-8_44},
  url = {http://dx.doi.org/10.1007/978-3-642-33999-8_44},
  researchr = {https://researchr.org/publication/PlanasSCG12},
  cites = {0},
  citedby = {0},
  pages = {378-382},
  booktitle = {Advances in Conceptual Modeling - ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings},
  editor = {Silvana Castano and Panos Vassiliadis and Laks V. Lakshmanan and Mong-Li Lee},
  volume = {7518},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33998-1},
}