Verifying a Behavioural Logic for Graph Transformation Systems1
Under a Creative Commons license
open access
Cited by (0)
- 1
Partially supported by the Italian MIUR Project COFIN 2001013518 CoMeta, the EU FET – GC Project IST-2001-32747 agile and the EC RTN 2-2001-00346 SegraVis.
Copyright © 2004 Elsevier B.V.