External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Fully Abstract Model for Graph-Interpreted Temporal Logic

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.

Authors

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Reiko Heckel

Identified as Reiko Heckel

Manuel Koch

This author has not been identified. Look up 'Manuel Koch' in Google
runs on