%0 Journal Article %1 journals/scp/CalegariMS16 %A Calegari, Daniel %A Mossakowski, Till %A Szasz, Nora %D 2016 %J Sci. Comput. Program. %K %P 3-30 %T Heterogeneous verification in the context of model driven engineering. %U http://dblp.uni-trier.de/db/journals/scp/scp126.html#CalegariMS16 %V 126

@article{journals/scp/CalegariMS16, added-at = {2023-12-12T19:26:48.000+0100}, author = {Calegari, Daniel and Mossakowski, Till and Szasz, Nora}, biburl = {https://www.bibsonomy.org/bibtex/2aaa025781f40ad9064357915759723d2/admin}, ee = {https://doi.org/10.1016/j.scico.2016.02.003}, interhash = {20d561e80358c9b43fe72cecb1289e4d}, intrahash = {aaa025781f40ad9064357915759723d2}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {3-30}, timestamp = {2023-12-12T19:26:48.000+0100}, title = {Heterogeneous verification in the context of model driven engineering.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp126.html#CalegariMS16}, volume = 126, year = 2016 }