Johannes Faber. Verification architectures for complex real-time systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2011. [doi]
@phdthesis{dnb-3904, title = {Verification architectures for complex real-time systems}, author = {Johannes Faber}, year = {2011}, url = {http://d-nb.info/1016987560}, researchr = {https://researchr.org/publication/dnb-3904}, cites = {0}, citedby = {0}, school = {Carl von Ossietzky University of Oldenburg}, }