Skip to content
GitLab
Explore
Sign in
Jonas Blatt
Verification for Decision Model and Notation
Issues
#21
Metrics for number of elements
For each execution, save the number of elements.