Roadmap of Infinite Results

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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.

Další info