@phdthesis{
    JussilaTLic2001,
    author = "Jussila, Toni",
    juforank = "NA",
    school = "Helsinki University of Technology",
    note = "Licentiate thesis",
    isbn = "0",
    language = "eng",
    title = "Bounded Model Checking for Verifying Concurrent Programs",
    url = "",
    timestamp = "2014.05.21",
    responsibleauthor = "Jussila, Toni",
    flags = "",
    il = "no",
    year = "2001",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G3",
    type = "Licentiate Thesis"
}