@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A