Zum Inhalt springen

  10. Paige, Richard F. [HerausgeberIn]; Hartman, Alan [Sonstige Person, Familie und Körperschaft]; Rensink, Arend [Sonstige Person, Familie und Körperschaft] ; ECMDA FA 5 2009 Enschede

    Model driven architecture - foundations and applications : 5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23 - 26, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5562

  13. Ehrig, Hartmut [HerausgeberIn]; Rensink, Arend [Sonstige Person, Familie und Körperschaft]; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Schürr, Andy [Sonstige Person, Familie und Körperschaft] ; ICGT 5 2010 Enschede

    Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6372

  14. Gnesi, Stefania [VerfasserIn] ; Rensink, Arend [HerausgeberIn]

    Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8411

  15. Rensink, Arend [Sonstige Person, Familie und Körperschaft]

    Model-Driven Architecture - Foundations and Applications : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4066

  18. Heußner, Alexander [VerfasserIn]; Poskitt, Christopher M. [VerfasserIn]; Corrodi, Claudio [VerfasserIn]; Morandi, Benjamin [VerfasserIn] ; Rensink, Arend [MitwirkendeR]; Zambon, Eduardo [MitwirkendeR]

    Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Open Publishing Association, 2015

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 181

  19. Rensink, Arend [HerausgeberIn]; Sánchez Cuadrado, Jesús [HerausgeberIn]

    Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1088800

  20. Dyck, Johannes [VerfasserIn] ; Giese, Holger [AkademischeR BetreuerIn]; Rensink, Arend [AkademischeR BetreuerIn]; Wehrheim, Heike [AkademischeR BetreuerIn] Universität Potsdam

    Verification of graph transformation systems with k-inductive invariants

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Potsdam, [2019?]