@book { ParallelisierungeinesSoftwareModellprfersfrnebenlufigeCProgramme,
    title = "Parallelisierung eines Software Modellprüfers für nebenläufige C++ Programme",
    author = "Damian {Sulewski}",
    year = "2008",
    publisher = "Diplom.de",
    address = "Hamburg, Deutschland",
    doi = "10.3239/9783836616041",
    url = "https://m.diplom.de/document/225954"
}