Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s10009-020-00585-w

Published Online: 2021-07-17

Published Print: 2021-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Schneider, Sven https://orcid.org/0000-0001-9828-618X
Maximova, Maria https://orcid.org/0000-0001-9275-806X
Sakizloglou, Lucas https://orcid.org/0000-0001-6971-1589
Giese, Holger https://orcid.org/0000-0002-4723-730X
Funding

Funding for this research was provided by:

Hasso-Plattner-Institut für Digital Engineering gGmbH
License Information

Text and Data Mining valid from 2021-06-01

Version of Record valid from 2021-07-17
More Information

Article History

First Online: 17 July 2021