Login / Signup

Towards a Certified Petri Net Model-Checker.

Lukasz FroncFranck Pommereau
Published in: APLAS (2011)
Keyphrases