Original language | English |
---|---|
Journal | Current Trends in Theoretical Computer Science, The Challenge of the New Century |
Volume | 2 |
Issue number | 1 |
Pages (from-to) | 337-350 |
Publication status | Published - 2004 |
Keywords
- infinite-state systems
- equivalence checking
- survey