Cited in
(39)- The Edge of Graph Transformation — Graphs for Behavioural Specification
- CScout: a refactoring browser for C
- Grez
- scientific article; zbMATH DE number 2079639 (Why is no real title available?)
- scientific article; zbMATH DE number 2084319 (Why is no real title available?)
- Framework and authoring tool for an extension of the UIML language
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
- GrGen
- JAVAVIS
- GraphXML
- PROGRES
- PNML
- Fujaba
- Graph transformation benchmarks
- VIATRA2
- AGG
- KAAPI
- VPM
- GUPRO
- Columbus
- CheckVML
- GROOVE
- GraphML
- CScout
- FAMIX
- SWILL
- Proteus
- DrAGoM
- CatLib
- DPOdactic
- GraJ
- Podmineny
- SiTra
- VxToolbox
- VisiGraphJS
- A flexible and easy-to-use library for the rapid development of graph tools in Java
- ENFORCe
- Formal verification of object-oriented graph grammars specifications
- Concept management: identification and storage of concepts in the focus of formal Z specifications
This page was built for software: GXL
