Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. PhD thesis, Helsinki University of Technology, Finland, 2005. [doi]
@phdthesis{basesearch-316,
title = {Automata-theoretic and bounded model checking for linear temporal logic},
author = {Timo Latvala},
year = {2005},
url = {https://www.base-search.net/Record/b87f8006eab45b7cae6acf54c26375381d9ecaee2a8181c5b326a741d35e59cf},
note = {base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/2600)},
researchr = {https://researchr.org/publication/basesearch-316},
cites = {0},
citedby = {0},
school = {Helsinki University of Technology, Finland},
}