Skip to main content Accessibility help
×
Home

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

  • ANTONÍN KUČERA (a1) and PETR JANČAR (a2)

Abstract

The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).

Copyright

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed