Vol-988⫷ Vol-989 ⫸Vol-990
urn:nbn:de:0074-989-0


None⫷None⫸None
Matteo RisoldiYasir Imtiaz Khan

Optimizing Algebraic Petri Net Model Checking by Slicing