@phdthesis{
    KindermannThesis14,
    author = "Kindermann, Roland",
    juforank = "NA",
    school = "Aalto University School of Science",
    isbn = "ISBN 978-952-60-5977-8",
    language = "eng",
    title = "SMT-based Verification of Timed Systems and Software",
    url = "http://urn.fi/URN:ISBN:978-952-60-5978-5",
    timestamp = "2015.01.02",
    issn = "1799-4934",
    responsibleauthor = "Kindermann, Roland",
    flags = "COIN HIIT",
    il = "no",
    year = "2014",
    owner = "MN",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "G5",
    type = "Doctoral dissertation",
    pages = "113 p. + app. 97 p."
}