Další formáty:
BibTeX
LaTeX
RIS
@article{406219,
author = {Srba, Jiří},
article_location = {Bratislava},
article_number = {78},
keywords = {infinite systems; bisimilarity; regularity; survey},
language = {eng},
issn = {78},
journal = {Bulletin of the European Association for Theoretical Computer Science},
title = {Roadmap of Infinite Results},
volume = {2002},
year = {2002}
}
TY - JOUR
ID - 406219
AU - Srba, Jiří
PY - 2002
TI - Roadmap of Infinite Results
JF - Bulletin of the European Association for Theoretical Computer Science
VL - 2002
IS - 78
SP - 163
EP - 163
PB - EATCS
SN - 78
KW - infinite systems
KW - bisimilarity
KW - regularity
KW - survey
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{Bulletin of the European Association for Theoretical Computer Science}. Bratislava: EATCS, roč.~2002, č.~78, s.~163-175. ISSN~78. 2002.
|
