Linear Temporal Logic: Expressiveness and Model Checking

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	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:	Vysoce paralelní a distribuované výpočetní systémy