Skip to contents

  2. Kröger, Fred [Author]; Merz, Stephan [Author]

    Temporal logic and state systems

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2008

    Published in: Texts in theoretical computer science

  4. MacMillan, Kenneth L. [Author] ; McMillan, Kenneth L. [Other]

    Symbolic model checking

    Books
    Close

    Bookmarks

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

    Boston [u.a.]: Kluwer Academic, 1993

  5. Esparza, Javier [Author]; Kiefer, Stefan [Author]; Schwoon, Stefan [Author]

    Abstraction refinement with craig interpolation and symbolic pushdown systems

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Published in: Technischer Bericht ; 2006,2

  8. Chatterjee, Krishnendu [Author]; Dvorák, Wolfgang [Author]; Henzinger, Monika [Author]; Loitzenbauer, Veronika [Author] ; Krishnendu Chatterjee and Wolfgang Dvorák and Monika Henzinger and Veronika Loitzenbauer [Contributor]

    Improved Set-Based Symbolic Algorithms for Parity Games

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

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

  14. Charrier, Tristan [Author] ; Rennes 1 [Contributor]; Pinchinat, Sophie [Contributor]

    Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ; Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2018-12-05

  20. Kuntz, Georg Wolfgang Matthias [Author]

    Symbolic Semantics and Verification of Stochastic Process Algebras ; Symbolische Semantik und Verifikation stochastischer Prozessalgebren

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2006-03-10