Roadmap of Infinite Results

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Rozcesti nekonecnych vysledku
Autoři

SRBA Jiří

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.