On Decidability of LTL+Past Model Checking for Process Rewrite Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
Autoři

KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

Rok publikování 2007
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy.
Související projekty:

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