Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann. Towards Automated fUML Model Verification with Petri Nets. 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 298-306, SciTePress, 2019. [doi]
Abstract is missing.