Linear Temporal Logic: Expressiveness and Model Checking

STREJČEK, Jan. Linear Temporal Logic: Expressiveness and Model Checking. Faculty of Informatics, Masaryk University, 2005, 148 s.

Základní údaje

• Originální název: Linear Temporal Logic: Expressiveness and Model Checking
• Název česky: Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu
• Autoři: STREJČEK, Jan.
• Vydání: 148 s. 2005.
• Nakladatel: Faculty of Informatics, Masaryk University

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Odborná kniha
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• Organizační jednotka: Fakulta informatiky
• Klíčová slova anglicky: Linear temporal logic, expressiveness, model checking, stuttering, Thesis

Návaznosti

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy