@phdthesis{
    Makela2003,
    author = "Mäkelä, Marko",
    school = "Helsinki University of Technology, Laboratory for Theoretical Computer Science Research Reports 81",
    title = "Efficient Computer-Aided Verification of Parallel and Distributed Software Systems",
    url = "http://lib.tkk.fi/Diss/2003/isbn9512267926/",
    address = "Espoo, Finland",
    flags = "",
    year = "2003",
    owner = "MM",
    impactfactor = "G5"
}