Login / Signup
Exploring the Scope for Partial Order Reduction.
Jaco Geldenhuys
Henri Hansen
Antti Valmari
Published in:
ATVA (2009)
Keyphrases
</>
partial order reduction
model checking
petri net
case study
search engine
domain knowledge
sensor networks
data warehouse