GXL
From MaRDI portal
Software:28348
No author found.
Related Items (9)
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay ⋮ Unnamed Item ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Unnamed Item ⋮ CScout: a refactoring browser for C ⋮ Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Framework and authoring tool for an extension of the UIML language ⋮ Formal Verification of Object-Oriented Graph Grammars Specifications
This page was built for software: GXL
