Verifying a Behavioural Logic for Graph Transformation Systems1

https://doi.org/10.1016/j.entcs.2004.08.018Get rights and content
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.