Optimizing Algebraic Petri Net Model Checking by Slicing

Yasir Imtiaz Khan, Matteo Risoldi

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Optimizing Algebraic Petri Net Model Checking by Slicing'. Together they form a unique fingerprint.

Engineering & Materials Science