Treffer: Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Titel:
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction / Sven Schneider, Maria Maximova, Holger Giese
Verantwortlich:
Veröffentlicht:
Potsdam : Universität Potsdam, 2022Potsdam : Universitätsverlag Potsdam, 2022
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 143
DOI:
10.25932/publishup-54585