( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.

, , , и . VL/HCC, стр. 71-78. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hartmut Ehrig

Hartmut Ehrig

Ehrig Lange

Gerhard Ehrig

Bodo Ehrig

 

Другие публикации лиц с тем же именем

Algebraic Specification Schemes for Data Base Systems., , и . VLDB, стр. 427-440. IEEE Computer Society, (1978)Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Techniques in Software Development., и . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., и . Bulletin of the EATCS, (1994)How to Transfer Concepts of Abstract Data Types to Petri Nets?, , и . Bulletin of the EATCS, (1997)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Specification of Modular Systems, и . University of Dortmund, Report 198, (1985)Algebraic Specification.. Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)Restriction Constructions in Specification Logics., и . Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)Parameterized Data Types and Parameter Passing.. ADT, University of Dortmund, (1982)