Annette Lötzbeyer. Temporale Realzeitverifikation. PhD thesis, Karlsruhe Institute of Technology, Germany, 1999. [doi]
@phdthesis{dnb-13626,
title = {Temporale Realzeitverifikation},
author = {Annette Lötzbeyer},
year = {1999},
url = {http://d-nb.info/957424051},
researchr = {https://researchr.org/publication/dnb-13626},
cites = {0},
citedby = {0},
school = {Karlsruhe Institute of Technology, Germany},
}