STREJČEK, Jan. Linear Temporal Logic: Expressiveness and Model Checking. Faculty of Informatics, Masaryk University, 2005, 148 pp.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Linear Temporal Logic: Expressiveness and Model Checking
Name in Czech Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu
Authors STREJČEK, Jan.
Edition 148 pp. 2005.
Publisher Faculty of Informatics, Masaryk University
Other information
Original language English
Type of outcome Book on a specialized topic
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Informatics
Keywords in English Linear temporal logic, expressiveness, model checking, stuttering, Thesis
Changed by Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 3/1/2007 17:02.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
PrintDisplayed: 25/4/2024 07:23