The following pages link to GXL (Q28348):
Displayed 9 items.
- Framework and authoring tool for an extension of the UIML language (Q733277) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay (Q1652451) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- (Q3043789) (← links)
- Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications (Q3058801) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- (Q4471664) (← links)
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)