Fabio Gadducci, Reiko Heckel, Manuel Koch. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers. Volume 1764 of Lecture Notes in Computer Science, pages 310-322, Springer, 1998.
@inproceedings{GadducciHK98,
title = {A Fully Abstract Model for Graph-Interpreted Temporal Logic},
author = {Fabio Gadducci and Reiko Heckel and Manuel Koch},
year = {1998},
tags = {graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/GadducciHK98},
cites = {0},
citedby = {0},
pages = {310-322},
booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers},
editor = {Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg},
volume = {1764},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67203-6},
}