Formal testing of timed graph transformation systems using metric temporal graph logic

Schneider, Sven; Maximova, Maria; Sakizloglou, Lucas; Giese, Holger

by Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese

Reference:

Formal testing of timed graph transformation systems using metric temporal graph logic (Sven Schneider, Maria Maximova, Lucas Sakizloglou, Holger Giese), In Int. J. Softw. Tools Technol. Transf., volume 23, 2021.

Bibtex Entry:

@Article{DBLP:journalsstttSchneiderMSG21,
AUTHOR = {Schneider, Sven and Maximova, Maria and Sakizloglou, Lucas and Giese, Holger},
TITLE = {{Formal testing of timed graph transformation systems using metric temporal graph logic}},
YEAR = {2021},
JOURNAL = {Int. J. Softw. Tools Technol. Transf.},
VOLUME = {23},
NUMBER = {3},
PAGES = {411--488},
URL = {https://doi.org/10.1007/s10009-020-00585-w},
PDF = {uploads/pdf/DBLP:journalsstttSchneiderMSG21_submitted.pdf},
OPTacc_pdf = {},
ANNOTE = {TIMESTAMP : Thu, 05 Aug 2021 08:55:48 +0200}
}