C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.
Vineet Kahlon
Chao Wang
Aarti Gupta
Published in:
CAV (2009)
Keyphrases
</>
partial order reduction
model checking
petri net
high level
finding optimal
real world
data mining
decision trees
optimal solution
data structure
support vector
closed form
optimal control
optimal design