Skip to contents

  8. Riis Nielson, Hanne [Editor]; Tuosto, Emilio [Editor]

    Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings - [1st ed. 2019]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer, 2019

    Published in: Programming and Software Engineering ; 11533- Springer eBooks ; Computer Science

  16. Nielson, Flemming [Editor]; Sands, David [Editor] ; POST 8. 2019 Prag, ETAPS 22. 2019 Prag

    Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer, [2019]

    Published in: Lecture notes in computer science ; 1142600

  18. Degano, Pierpaolo [Author]; Gorrieri, Roberto [Author]; Hankin, Chris [Author]; Nielson, Flemming [Author]; Riis Nielson, Hanne [Author] ; Pierpaolo Degano and Roberto Gorrieri and Chris Hankin and Flemming Nielson and Hanne Riis Nielson [Contributor]

    Security through Analysis and Verification (Dagstuhl Seminar 00501)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001