Fingerprint
Dive into the research topics of 'Optimizing Algebraic Petri Net Model Checking by Slicing'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Optimizing Algebraic Petri Net Model Checking by Slicing
Yasir Imtiaz Khan, Matteo Risoldi
Research output: Contribution to conference › Paper › peer-review