Towards Symbolic Analysis of Graph Transformation Systems
Download:
pdf
by Dániel Varró
http://www.inf.mit.bme.hu/FTSRG/Publications/gtvmt2002_varro.pdf
Add To MetaCart
Abstract:
Replace this file withprentcsmacro.sty for your meeting, or withentcsmacro.sty for your meeting.
Citations
| 78 | Abstract and model check while you prove – Saidi, Shankar - 1999 |
| 26 | Towards Automatic Translation of UML Models into Semantic Domains – Heckel, Küster, et al. - 2002 |
| 25 | Rule-based specification of behavioral consistency based on the UML meta-model – Engels, Heckel, et al. - 2001 |
| 23 | AToM3: A tool for multi-formalism and meta-modelling – Lara, Vangheluwe - 2002 |
| 15 | Compositional verification of reactive systems specified by graph transformation – Heckel - 1998 |
| 8 | Integrating the specification techniques of graph transformation and temporal logic – Heckel, Ehrig, et al. - 1997 |
