Marc Spisländer. Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. PhD thesis, University of Erlangen-Nuremberg, Germany, 2018. [doi]
@phdthesis{dnb-21682,
title = {Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen},
author = {Marc Spisländer},
year = {2018},
url = {http://d-nb.info/1178794113},
researchr = {https://researchr.org/publication/dnb-21682},
cites = {0},
citedby = {0},
school = {University of Erlangen-Nuremberg, Germany},
}