Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In Igor Prívara, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Volume 1295 of Lecture Notes in Computer Science, pages 219-228, Springer, 1997.
@inproceedings{HeckelEWC97,
title = {Integrating the Specification Techniques of Graph Transformation and Temporal Logic},
author = {Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini},
year = {1997},
tags = {graph transformation, graph-rewriting, logic, rewriting logic, rewriting, transformation},
researchr = {https://researchr.org/publication/HeckelEWC97},
cites = {0},
citedby = {0},
pages = {219-228},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
editor = {Igor Prívara and Peter Ruzicka},
volume = {1295},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63437-1},
}