@article{DBLP:journals/scp/CalegariMS16,
  added-at = {2016-08-09T12:01:26.000+0200},
  author = {Calegari, Daniel and Mossakowski, Till and Szasz, Nora},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {https://www.bibsonomy.org/bibtex/2a9d0ce44730d265538314808b815fa8e/tillmo},
  doi = {10.1016/j.scico.2016.02.003},
  interhash = {20d561e80358c9b43fe72cecb1289e4d},
  intrahash = {a9d0ce44730d265538314808b815fa8e},
  journal = {Sci. Comput. Program.},
  keywords = {imported myown},
  pages = {3--30},
  timestamp = {2017-04-20T14:08:43.000+0200},
  title = {Heterogeneous verification in the context of model driven engineering},
  url = {http://dx.doi.org/10.1016/j.scico.2016.02.003},
  volume = 126,
  year = 2016
}