Muhammad Hassan. Hochqualitativ Verifikation für VP-basierte Heterogene Systeme. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2021. Volume D-22 of LNI, pages 71-80, GI, 2021. [doi]
@incollection{Hassan21-7,
title = {Hochqualitativ Verifikation für VP-basierte Heterogene Systeme},
author = {Muhammad Hassan},
year = {2021},
url = {https://dl.gi.de/20.500.12116/39860},
researchr = {https://researchr.org/publication/Hassan21-7},
cites = {0},
citedby = {0},
pages = {71-80},
booktitle = {Ausgezeichnete Informatikdissertationen 2021},
editor = {Steffen Hölldobler},
volume = {D-22},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-980-1},
}