GXL

swMATH16479MaRDI QIDQ28348FDOQ28348

Author name not available (Why is that?)

Described by source

• GXL: a graph-based standard exchange format for reengineering

Cited In (9)

• Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
• CScout: a refactoring browser for C
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Formal verification of object-oriented graph grammars specifications

This page was built for software: GXL