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.
Abstract is missing.