Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{406616,
author = {Kučera, Antonín and Jančar, Petr},
address = {Berlin},
booktitle = {Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002)},
keywords = {infinite-state systems; equivalence-checking},
language = {eng},
location = {Berlin},
isbn = {3-540-00145-X},
pages = {41-73},
publisher = {Springer},
title = {Equivalence-Checking with Infinite-State Systems: Techniques and Results.},
year = {2002}
}
TY - JOUR
ID - 406616
AU - Kučera, Antonín - Jančar, Petr
PY - 2002
TI - Equivalence-Checking with Infinite-State Systems: Techniques and Results.
PB - Springer
CY - Berlin
SN - 354000145X
KW - infinite-state systems
KW - equivalence-checking
N2 - 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).
ER -
KUČERA, Antonín a Petr JANČAR. Equivalence-Checking with Infinite-State Systems: Techniques and Results. W.I. Grosky, F. Plášil (Eds.). In \textit{Proceedings of 29th Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002)}. Berlin: Springer. s.~41-73. ISBN~3-540-00145-X. 2002.
|
