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