Sven Schneider 0001, Maria Maximova, Lucas Sakizloglou, Holger Giese. Formal testing of timed graph transformation systems using metric temporal graph logic. STTT, 23(3):411-488, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.