Roadmap of Infinite Results

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalCurrent Trends in Theoretical Computer Science, The Challenge of the New Century
Volume2
Issue number1
Pages (from-to)337-350
Publication statusPublished - 2004

Keywords

  • infinite-state systems
  • equivalence checking
  • survey

Cite this