Hartmut Ehrig
Mathematiker,
Hochschullehrer
Geboren:
6. Dezember 1944,
Angermünde
Gestorben:
17. März 2016
Hat mitgewirkt an:
-
Efficient Process Analysis of Transformation Systems Based on Petri nets
-
Categorical methods in computer science : with aspects from topology
-
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
-
Formal Analysis and Verication of Self-Healing Systems: Long Version