https://orcid.org/0000-0002-4933-447X
About the Authors
- Gerrit Großmann
-
Roles Conceptualization, Formal analysis, Methodology, Project administration, Resources, Software, Supervision, Validation, Visualization, Writing – original draft, Writing – review & editing
* E-mail: gerrit.grossmann@uni-saarland.de
Affiliation Saarland Informatics Campus, Saarland University, Saarbrücken, Germany
- Luca Bortolussi
-
Roles Formal analysis, Investigation, Methodology, Project administration, Supervision, Writing – original draft, Writing – review & editing
Affiliations Saarland Informatics Campus, Saarland University, Saarbrücken, Germany, Department of Mathematics and Geosciences, University of Trieste, Trieste, Italy
- Verena Wolf
-
Roles Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Supervision, Writing – original draft, Writing – review & editing
Affiliation Saarland Informatics Campus, Saarland University, Saarbrücken, Germany
Competing Interests
The authors have declared that no competing interests exist.