Login / Signup
Ten Years of Partial Order Reduction.
Doron A. Peled
Published in:
CAV (1998)
Keyphrases
</>
partial order reduction
model checking
petri net
years ago
database
multiscale
reinforcement learning
data structure
real time
data mining
computer vision
multimedia
high quality
wide range
data streams
artificial neural networks