Linear Temporal Logic: Expressiveness and Model Checking

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu
Autoři

STREJČEK Jan

Rok publikování 2005
Druh Odborná kniha
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Související projekty:

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