Login / Signup
Transparent partial order reduction.
Stephen F. Siegel
Published in:
Formal Methods Syst. Des. (2012)
Keyphrases
</>
partial order reduction
model checking
petri net
three dimensional
training data
detection algorithm