BibTeX record conf/models/HilkenSSG16

download as .bib file

@inproceedings{DBLP:conf/models/HilkenSSG16,
  author    = {Frank Hilken and
               Marcel Schuster and
               Karsten Sohr and
               Martin Gogolla},
  editor    = {Achim D. Brucker and
               Jordi Cabot and
               Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title     = {Integrating {UML/OCL} Derived Properties into Validation and Verification
               Processes},
  booktitle = {Proceedings of the 16th International Workshop on {OCL} and Textual
               Modelling co-located with 19th International Conference on Model Driven
               Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
               October 2, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1756},
  pages     = {89--104},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1756/paper07.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:14 +0100},
  biburl    = {https://dblp.org/rec/conf/models/HilkenSSG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics