scientific article; zbMATH DE number 2079639
From MaRDI portal
Publication:4471664
zbMATH Open1043.68992MaRDI QIDQ4471664FDOQ4471664
Authors: Andreas Winter, Bernt Kullbach, Volker Riediger
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2269/22690324.htm
Title of this publication is not available (Why is that?)
Recommendations
General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99) Graph theory (including graph drawing) in computer science (68R10)
Cited In (10)
- GXL: a graph-based standard exchange format for reengineering
- Title not available (Why is that?)
- Title not available (Why is that?)
- Framework and authoring tool for an extension of the UIML language
- Title not available (Why is that?)
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
- Title not available (Why is that?)
- Towards common exchange formats for graphs and graph transformation systems
- Formal verification of object-oriented graph grammars specifications
- Concept management: identification and storage of concepts in the focus of formal Z specifications
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471664)