Skip to contents

  1. Roggenbach, Markus [Author]; Cerone, Antonio [Author]; Schlingloff, Bernd-Holger [Author]; Schneider, Gerardo [Author]; Shaikh, Siraj Ahmed [Author]; Tucker, John V. [Author] ; Broy, Manfred [Writer of preface]

    Formal methods for software engineering : languages, methods, application domains

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2022

    Published in: Texts in Theoretical Computer Science. An EATCS Series

  2. Roggenbach, Markus [Editor]

    Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers - [1st ed. 2021.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Published in: Theoretical Computer Science and General Issues ; 12669

  6. Roggenbach, Markus [Other]; Sokolova, Ana [Other] ; CALCO 8. 2019 London

    8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, June 3-6, 2019, London, United Kingdom

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, November, 2019

    Published in: Leibniz international proceedings in informatics ; 139

  7. James, Phillip [Editor]; Roggenbach, Markus [Editor]

    Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2017

    Published in: Lecture notes in computer science ; 10644

  12. Baier, Christel [Other]; Engelen, Bettina [Other]; Roggenbach, Markus [Other]

    Establishing qualitative properties for probabilistic lossy channel systems : an algorithmic approach

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Mannheim: Universität Mannheim / Institut für Informatik, 1999

    Published in: Manuskripte / Reihe Informatik ; 1999-003

  15. Haxthausen, Anne E. [Editor]; Huang, Wen-ling [Editor]; Roggenbach, Markus [Editor]

    Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Published in: Lecture Notes in Computer Science ; 14165

  16. Fiadeiro, José Luis [Other]; Harman, Neil [Other]; Roggenbach, Markus [Other]; Rutten, Jan [Other]

    Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3629

  18. Rosenberger, Tobias [Author] ; Université Grenoble Alpes [Contributor]; University of Swansea (Swansea (GB)) [Contributor]; Bensalem, Saddek [Contributor]; Roggenbach, Markus [Contributor]

    Sémantique et outils institutionnels pour le UML ; Institution-based Semantics and Tool Support for the UML

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-11-03

  19. Roggenbach, Markus [Author]; Cerone, Antonio [Author]; Schlingloff, Bernd-Holger [Author]; Schneider, Gerardo [Author]; Shaikh, Siraj Ahmed [Author]

    Formal Methods for Software Engineering : Languages, Methods, Application Domains

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2022.

    Published in: Texts in Theoretical Computer Science. An EATCS Series- Springer eBook Collection

  20. Roggenbach, Markus

    Preface

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Elsevier BV, 2012

    Published in: Science of Computer Programming