Login / Signup
An efficient simulation equivalence algorithm based on abstract interpretation
Francesco Ranzato
Francesco Tapparo
Published in:
CoRR (2007)
Keyphrases
</>
databases
knowledge base
distributed systems
matching algorithm
model checking