Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic (2005)
AUTHORS:
Latvala Timo
URL:
http://lib.tkk.fi/Diss/2005/isbn9512277883/
@phdthesis{ Latvala005, author = "Latvala, Timo", school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 95", title = "Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic", url = "http://lib.tkk.fi/Diss/2005/isbn9512277883/", address = "Espoo, Finland", year = "2005", owner = "MM", impactfactor = "G5" }