Equivalence-checking on infinite-state systems: Techniques and results.

Antonín Kucera Petr Jancar

Published in: Theory Pract. Log. Program. (2006)

Keyphrases

intelligent systems
distributed systems
complex systems
databases
data mining
decision making
image processing
case study
database systems
learning environment
computer systems