BibTeX record conf/modelsward/CaltaisLS20

download as .bib file

@inproceedings{DBLP:conf/modelsward/CaltaisLS20,
  author       = {Georgiana Caltais and
                  Stefan Leue and
                  Hargurbir Singh},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Correctness of an {ATL} Model Transformation from SysML State Machine
                  Diagrams to Promela},
  booktitle    = {Proceedings of the 8th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
                  25-27, 2020},
  pages        = {360--372},
  publisher    = {{SCITEPRESS}},
  year         = {2020},
  url          = {https://doi.org/10.5220/0008968303600372},
  doi          = {10.5220/0008968303600372},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/CaltaisLS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics