@book{MaximovaSchneiderGiese2021, author = {Maria Maximova and Sven Schneider and Holger Giese}, title = {Interval probabilistic timed graph transformation systems}, number = {134}, isbn = {978-3-86956-502-6}, doi = {10.25932/publishup-51289}, year = {2021}, }