Towards a Certified Petri Net Model-Checker.

Lukasz Fronc, Franck Pommereau

Browse the full APLAS paper archive.