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]
No references recorded for this publication.
No citations of this publication recorded.