15 citations · 57 across the 13 of their papers we have counts for
1 paper · 1 filter
Giuseppe Della Penna, Igor Melatti
The increasing and widespread use of BPMN business processes, also embodying DMN tables, requires tools and methodologies to verify their correctness. However, most commonly used f…