Treffer: Compositional analysis of probabilistic timed graph transformation systems
Titel:
Compositional analysis of probabilistic timed graph transformation systems / Maria Maximova, Sven Schneider, Holger Giese
Verantwortlich:
Veröffentlicht:
Potsdam : Universität Potsdam, 2020Potsdam : Universitätsverlag Potsdam, 2020
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 ; 133
DOI:
10.25932/publishup-49013