SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs

Carina da Silva. SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2021. Volume D-22 of LNI, pages 11-20, GI, 2021. [doi]

Abstract

Abstract is missing.