@phdthesis{
    LatvalaTLic2002,
    author = "Latvala, Timo",
    juforank = "NA",
    school = "Helsinki University of Technology",
    note = "Licentiate thesis",
    isbn = "0",
    language = "eng",
    title = "On Model Checking Safety Properties",
    url = "",
    timestamp = "2014.05.21",
    responsibleauthor = "Latvala, Timo",
    flags = "",
    il = "no",
    year = "2003",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G3",
    type = "Licentiate Thesis"
}