Login / Signup
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Antonín Kucera
Petr Jancar
Published in:
CoRR (2005)
Keyphrases
</>
management system
intelligent systems
computer systems
systems require
data sets
real world
social networks
relational databases
learning systems
complex systems
computing systems