| SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century. New York, USA: World Scientific Publishing, roč. 2, č. 1, s. 337-350, 2004. |
Další formáty:
BibTeX
LaTeX
RIS
@article{562692,
author = {Srba, Jiří},
article_location = {New York, USA},
article_number = {1},
keywords = {infinite-state systems; bisimilarity; complexity; decidability},
language = {eng},
journal = {Current Trends in Theoretical Computer Science, The Challenge of the New Century},
title = {Roadmap of Infinite Results},
volume = {2},
year = {2004}
}
TY - JOUR
ID - 562692
AU - Srba, Jiří
PY - 2004
TI - Roadmap of Infinite Results
JF - Current Trends in Theoretical Computer Science, The Challenge of the New Century
VL - 2
IS - 1
SP - 337-350
EP - 337-350
PB - World Scientific Publishing
KW - infinite-state systems
KW - bisimilarity
KW - complexity
KW - decidability
N2 - This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously according to the development in the area. The most recent version of this document is available from the web-page http://www.brics.dk/~srba/roadmap.
ER -
SRBA, Jiří. Roadmap of Infinite Results. \textit{Current Trends in Theoretical Computer Science, The Challenge of the New Century}. New York, USA: World Scientific Publishing, roč.~2, č.~1, s.~337-350, 2004.
|
