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

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

doi:10.1007/s10009-020-00585-w

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}
}