Login / Signup

Guard-Based Partial-Order Reduction.

Alfons LaarmanElwin PaterJaco van de PolMichael Weber
Published in: SPIN (2013)
Keyphrases
  • partial order reduction
  • model checking
  • petri net