×

Found 6 Documents (Results 1–6)

Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. (English) Zbl 1383.68006

Lecture Notes in Computer Science 10800. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). xiv, 333 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

The graph transformation community mourns for Hartmut Ehrig (1944–2016). (English) Zbl 1345.01010

Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, xiii-xv (2016).
MSC:  01A70 68-03
PDFBibTeX XMLCite

Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. (English) Zbl 1339.68007

Lecture Notes in Computer Science 9761. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). xviii, 253 p. (2016).
MSC:  68-06 68Q42 00B25
PDFBibTeX XMLCite
Full Text: DOI

Bibliography of Hartmut Ehrig. (English) Zbl 1075.68500

Kreowski, Hans-Jörg (ed.) et al., Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-24936-2/pbk). Lecture Notes in Computer Science 3393, xi-xxvii (2005).
MSC:  68-03 01A70
PDFBibTeX XMLCite

Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. (English) Zbl 1069.68009

Lecture Notes in Computer Science 3393. Berlin: Springer (ISBN 3-540-24936-2/pbk). xxvii, 413 p. (2005).
MSC:  68-06 68Qxx 00B30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Biographic Reference