Další formáty:
BibTeX
LaTeX
RIS
@book{707429, author = {Strejček, Jan}, keywords = {Linear temporal logic, expressiveness, model checking, stuttering, Thesis}, language = {eng}, note = {Ph.D. Thesis}, publisher = {Faculty of Informatics, Masaryk University}, title = {Linear Temporal Logic: Expressiveness and Model Checking}, year = {2005} }
TY - BOOK ID - 707429 AU - Strejček, Jan PY - 2005 TI - Linear Temporal Logic: Expressiveness and Model Checking PB - Faculty of Informatics, Masaryk University N1 - Ph.D. Thesis KW - Linear temporal logic, expressiveness, model checking, stuttering, Thesis ER -
STREJČEK, Jan. \textit{Linear Temporal Logic: Expressiveness and Model Checking}. Faculty of Informatics, Masaryk University, 2005, 148 s.
|