Faruk Hasic, Carl Corea, Jonas Blatt, Patrick Delfmann, EstefanÃa Serral. A Tool for the Verification of Decision Model and Notation (DMN) Models. In Fabiano Dalpiaz, Jelena Zdravkovic, Pericles Loucopoulos, editors, Research Challenges in Information Science - 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020, Proceedings. Volume 385 of Lecture Notes in Business Information Processing, pages 536-542, Springer, 2020. [doi]
Abstract is missing.