Integrating the Specification Techniques of Graph Transformation and Temporal Logic.

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini

Browse the full MFCS paper archive.