SRBA, Jiří. Roadmap of Infinite Results. Current Trends in Theoretical Computer Science, The Challenge of the New Century. New York, USA: World Scientific Publishing, 2004, vol. 2, No 1, p. 337-350. |
Other formats:
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, 2004, vol.~2, No~1, p.~337-350.
|