BibTeX record conf/models/BesnardBJTD18

download as .bib file

@inproceedings{DBLP:conf/models/BesnardBJTD18,
  author       = {Valentin Besnard and
                  Matthias Brun and
                  Fr{\'{e}}d{\'{e}}ric Jouault and
                  Ciprian Teodorov and
                  Philippe Dhaussy},
  editor       = {Andrzej Wasowski and
                  Richard F. Paige and
                  {\O}ystein Haugen},
  title        = {Unified {LTL} Verification and Embedded Execution of {UML} Models},
  booktitle    = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
                  Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
                  Denmark, October 14-19, 2018},
  pages        = {112--122},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3239372.3239395},
  doi          = {10.1145/3239372.3239395},
  timestamp    = {Fri, 01 Nov 2019 15:15:56 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BesnardBJTD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics