On the Expressivity and Applicability of Model Representation Formalisms

Andreas Teucke, Marco Voigt, Christoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms. In Andreas Herzig, Andrei Popescu 0001, editors, Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Volume 11715 of Lecture Notes in Computer Science, pages 22-39, Springer, 2019. [doi]

Abstract

Abstract is missing.