Sciweavers

EATCS
2002
60views more  EATCS 2002»
14 years 8 days ago
Roadmap of Infinite Results
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
Jirí Srba