scientific article; zbMATH DE number 2016088

zbMath1028.68533MaRDI QIDQ4438797

Dániel Varró

Publication date: 10 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2505/25050378.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Symbolic Termination and Confluence Checking for ECA Rules ⋮ Attributed graph transformation with node type inheritance ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Development of global specification for dynamically adaptive software ⋮ Towards Verifying Model Transformations

Uses Software

• PROGRES
• SPIN
• vUML

This page was built for publication: