Correctness Notions for Petri Nets with Identifiers
- Jan Martijn E.M. van der Werf*
- , Andrey Rivkin
- , Marco Montali
- , Artem Polyvyanyy
*Corresponding author for this work
- Utrecht University
- Free University of Bozen-Bolzano
- University of Melbourne
Research output: Contribution to journal › Journal article › Research › peer-review
234
Downloads (Orbit)