Hartmut Ehrig profile picture

Hartmut Ehrig

Is this your author profile? Create an account to customize it!

Stand Alone

Graph-grammars and their application to computer science
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Petri net technology for communication-based systems
Fundamentals of algebraic graph transformation
Graph Transformations Lecture Notes in Computer Science
Categorical methods in computer science
Graph grammars and their application to computer science
Unifying Petri nets
Graph grammars and their application to computer science
Theory and application of graph transformations
Integration of software specification techniques for applications in engineering
Formal methods in software and systems modeling
Categorical methods in computer science
Formal Methods and Software Development
Fundamentals of Algebraic Specification 1

See All