Zum Inhalt springen

  2. Halbwachs, Nicolas [Herausgeber:in]; Zuck, Lenore D. [Herausgeber:in] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

    Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; 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 [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3440

  3. Zuck, Lenore D. [Verfasser:in] ; Attie, Paul C. [Sonstige Person, Familie und Körperschaft]; Cortesi, Agostino [Sonstige Person, Familie und Körperschaft]; Mukhopadhyay, Supratik [Sonstige Person, Familie und Körperschaft]

    Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 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-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2575

  4. Logozzo, Francesco [Sonstige Person, Familie und Körperschaft]; Peled, Doron [Sonstige Person, Familie und Körperschaft]; Zuck, Lenore D. [Sonstige Person, Familie und Körperschaft]

    Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. 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, 2008

    Erschienen in: Lecture notes in computer science ; 4905

  5. Cohen, Julie E. [Verfasser:in]; Dietrich, Sven [Verfasser:in]; Pras, Aiko [Verfasser:in]; Zuck, Lenore D. [Verfasser:in]; Hildebrand Mireille [Verfasser:in] ; Julie E. Cohen and Sven Dietrich and Aiko Pras and Lenore D. Zuck and Hildebrand Mireille [Mitwirkende:r]

    Ethics in Data Sharing (Dagstuhl Seminar 14052)

    Aufsätze
    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.

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

  6. Zuck, Lenore D.

    David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1989

    Erschienen in: Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  7. Zuck, Lenore D.

    David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1989

    Erschienen in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  8. Zuck, Lenore D.

    Review: Dynamic Logic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Association for Symbolic Logic, Inc., 1989

    Erschienen in: The Journal of Symbolic Logic, 54 (1989) 4, Seite 1480-1481

  12. Prasad, Sanjiva; Zuck, Lenore D.

    Self-Similarity Breeds Resilience

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Open Publishing Association, 2016

    Erschienen in: Electronic Proceedings in Theoretical Computer Science, 222 (2016), Seite 30-44

  14. Falcone, Yliès; Zuck, Lenore D.

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Runtime Verification: The Application Perspective

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 284-291