@phdthesis{Mayr:PhD:1998,
    author = {Richard Mayr},
    title = {Decidability and complexity of model checking problems for infinite
                  state systems},
    school = {Technical University Munich, Germany},
    year = {1998},
    url = {https://d-nb.info/954474570},
    timestamp = {Sat, 17 Jul 2021 09:02:17 +0200},
    biburl = {https://dblp.org/rec/phd/dnb/Mayr98.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    date-added = {2024-1-15 7:22:52 +0100}
}

@phdthesis{Mayr:PhD:1998, author = {Richard Mayr}, title = {Decidability and complexity of model checking problems for infinite state systems}, school = {Technical University Munich, Germany}, year = {1998}, url = {https://d-nb.info/954474570}, timestamp = {Sat, 17 Jul 2021 09:02:17 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Mayr98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, date-added = {2024-1-15 7:22:52 +0100} }