| dc.contributor.author | Kučera, Antonín | |
| dc.contributor.author | Jančar, Petr | |
| dc.date.accessioned | 2006-10-31T09:42:12Z | |
| dc.date.available | 2006-10-31T09:42:12Z | |
| dc.date.issued | 2002 | |
| dc.identifier.citation | SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings. 2002, p. 41-73. | en |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/10084/57565 | |
| dc.description.abstract | The paper presents an overview of techniques and results for equivalence-checking with infinite-state systems. The selection of presented techniques reflects the authors' view on recent development in the area; the overview of existing results should be up-to-date (as of August 2002). | en |
| dc.language.iso | en | en |
| dc.publisher | Springer | en |
| dc.relation.ispartofseries | SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002. Proceedings | en |
| dc.relation.uri | http://dx.doi.org/10.1007/3-540-36137-5_3 | en |
| dc.title | Equivalence-checking with infinite-state systems: Techniques and results | en |
| dc.type | article | en |
| dc.identifier.location | Není ve fondu ÚK | en |
| dc.identifier.doi | 10.1007/3-540-36137-5_3 | |
| dc.identifier.wos | 000182856100003 | |