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, 2002, s.~41-73. ISBN~3-540-00145-X.
|