Login / Signup
Coloured Petri Nets Refinements.
Christine Choppy
Laure Petrucci
Alfred Sanogo
Published in:
PNSE+ModPE (2013)
Keyphrases
</>
coloured petri nets
formal verification
model checking