Stephan Rehfeld. Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking. PhD thesis, Julius Maximilians University Würzburg, Germany, 2017. [doi]
@phdthesis{dnb-19640,
title = {Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking},
author = {Stephan Rehfeld},
year = {2017},
url = {http://d-nb.info/1135139601},
researchr = {https://researchr.org/publication/dnb-19640},
cites = {0},
citedby = {0},
school = {Julius Maximilians University Würzburg, Germany},
}