scientific article; zbMATH DE number 2079639
From MaRDI portal
Publication:4471664
zbMath1043.68992MaRDI QIDQ4471664
Volker Riediger, Bernt Kullbach, Andreas Winter
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2269/22690324.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15) Computing methodologies and applications (68U99) General topics in the theory of software (68N01)
Related Items (4)
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay ⋮ Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications ⋮ Framework and authoring tool for an extension of the UIML language ⋮ Formal Verification of Object-Oriented Graph Grammars Specifications
Uses Software
This page was built for publication:
