%0 Journal Article %1 journals/sttt/SchneiderMSG21 %A Schneider, Sven %A Maximova, Maria %A Sakizloglou, Lucas %A Giese, Holger %D 2021 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 411-488 %T Formal testing of timed graph transformation systems using metric temporal graph logic. %U http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#SchneiderMSG21 %V 23

@article{journals/sttt/SchneiderMSG21, added-at = {2021-09-01T00:00:00.000+0200}, author = {Schneider, Sven and Maximova, Maria and Sakizloglou, Lucas and Giese, Holger}, biburl = {https://www.bibsonomy.org/bibtex/2de22affd5cbd4802c21c377a9916431e/dblp}, ee = {https://doi.org/10.1007/s10009-020-00585-w}, interhash = {b8a4e2251685505cac33164ebb86522e}, intrahash = {de22affd5cbd4802c21c377a9916431e}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {411-488}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Formal testing of timed graph transformation systems using metric temporal graph logic.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#SchneiderMSG21}, volume = 23, year = 2021 }