@phdthesis{
    TynjalaTLic2003,
    author = "Tynjälä, Teemu",
    juforank = "NA",
    school = "Helsinki University of Technology",
    note = "Licentiate thesis",
    isbn = "0",
    language = "eng",
    title = "Combining Abstractions with Reachability Analysis: A Case study of a UMTS Radio Protocol Verification Project",
    url = "",
    timestamp = "2014.05.21",
    responsibleauthor = "Tynjälä, Teemu",
    flags = "",
    il = "no",
    year = "2003",
    owner = "MN",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "G3",
    type = "Licentiate Thesis"
}