On Model Checking Safety Properties

Reference:

Timo Latvala. On Model Checking Safety Properties. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2002.

Suggested BibTeX entry:

@phdthesis{LatvalaLic,
    author = {Latvala, Timo},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {On Model Checking Safety Properties},
    type = {Licentiate's thesis},
    year = {2002},
}