Login / Signup
A Two Step Perspective for Kripke Structure Reduction
Arpit Sharma
Published in:
CoRR (2012)
Keyphrases
</>
post processing
databases
hidden markov models
desirable properties
data mining
artificial intelligence
information systems
knowledge base
data structure
search algorithm
hierarchical structure