Sciweavers

EATCS
2002

Roadmap of Infinite Results

13 years 10 months 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 according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/srba/roadmap.
Jirí Srba
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where EATCS
Authors Jirí Srba
Comments (0)