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:journals/sttt/SchneiderMSG21,
author = {Sven Schneider and
Maria Maximova and
Lucas Sakizloglou and
Holger Giese},
title = {Formal testing of timed graph transformation systems using metric
temporal graph logic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {411--488},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00585-w},
doi = {10.1007/s10009-020-00585-w},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchneiderMSG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}