Roadmap of Infinite Results
| Název česky | Rozcesti nekonecnych vysledku |
|---|---|
| Autoři | |
| Rok publikování | 2004 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Current Trends in Theoretical Computer Science, The Challenge of the New Century |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | infinite-state systems; bisimilarity; complexity; decidability |
| Popis | Jedna se o prehledovy clanek vysledku v testovani ekvivalance pro nekonecne stavove systemy z hierarchie prepisovacich systemu. Clanek je prubezne aktualizovan a je ke stazeni na autorove strance http://www.brics.dk/~srba/roadmap. |
| Související projekty: |