BibTeX record conf/er/PlanasSCG12

• > Home > conf/er/PlanasSCG12

@inproceedings{DBLP:conf/er/PlanasSCG12,
  author       = {Elena Planas and
                  David S{\'{a}}nchez{-}Mendoza and
                  Jordi Cabot and
                  Cristina G{\'{o}}mez},
  editor       = {Silvana Castano and
                  Panos Vassiliadis and
                  Laks V. S. Lakshmanan and
                  Mong{-}Li Lee},
  title        = {Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models},
  booktitle    = {Advances in Conceptual Modeling - {ER} 2012 Workshops CMS, ECDM-NoCoDA,
                  MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7518},
  pages        = {378--382},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33999-8\_44},
  doi          = {10.1007/978-3-642-33999-8\_44},
  timestamp    = {Sun, 12 Feb 2023 17:34:46 +0100},
  biburl       = {https://dblp.org/rec/conf/er/PlanasSCG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}