Login / Signup

MARCIE - Model Checking and Reachability Analysis Done Efficiently.

Monika HeinerChristian RohrMartin Schwarick
Published in: Petri Nets (2013)
Keyphrases