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, 2002, roč.~2002, č.~78, s.~163-175. ISSN~78.
|