Christoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zündorf. EMFeR: Model Checking for Object Oriented (EMF) Models. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019. pages 511-518, SciTePress, 2019. [doi]
Abstract is missing.