Zum Inhalt springen

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

    Temporal logic and state systems

    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: Springer, 2008

    Erschienen in: Texts in theoretical computer science

  3. Grädel, Erich [HerausgeberIn]; Thomas, Wolfgang [Sonstige Person, Familie und Körperschaft]; Wilke, Thomas [Sonstige Person, Familie und Körperschaft]; Thomas, Wolfgang [HerausgeberIn]; Wilke, Thomas [HerausgeberIn]

    Automata, logics, and infinite games : a guide to current research

    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, 2002

    Erschienen in: Lecture notes in computer science ; 2500

  4. MacMillan, Kenneth L. [VerfasserIn] ; McMillan, Kenneth L. [Sonstige Person, Familie und Körperschaft]

    Symbolic model checking

    Bücher
    Schließen

    Merkliste

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

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

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

    Abstraction refinement with craig interpolation and symbolic pushdown systems

    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.

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

    Erschienen in: Technischer Bericht ; 2006,2

  7. Richter, Dirk [VerfasserIn] ; Zimmermann, Wolf [AkademischeR BetreuerIn]; Knoop, Jens [AkademischeR BetreuerIn]

    Programmanalysen zur Verbesserung der Softwaremodellprüfung

    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.

    Halle, Saale: Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

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

    Improved Set-Based Symbolic Algorithms for Parity Games

    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.

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

  11. Teige, Tino [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]

    Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems

    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.

    Oldenburg: IBIT - Universitätsbibliothek, 2012

  12. Appold, Christian [VerfasserIn] ; Kolla, Reiner [Sonstige Person, Familie und Körperschaft]; Scholl, Christoph [Sonstige Person, Familie und Körperschaft]

    Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme

    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.

    Würzburg: Universität Würzburg, 2016

  13. Beckert, Bernhard [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]; Vogel-Heuser, Birgit [VerfasserIn]; Weigl, Alexander [VerfasserIn]

    Regression Verification for Programmable Logic Controller Software

    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.

    Karlsruher Institut für Technologie, 2015-01-01

  14. Charrier, Tristan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Pinchinat, Sophie [MitwirkendeR]

    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

    Hochschulschriften
    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.

    theses.fr, 2018-12-05

  15. Kuntz, Matthias [VerfasserIn]

    Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren

    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.

  17. Ben Salem, Ala Eddine [VerfasserIn] ; Paris 6 [MitwirkendeR]; Kordon, Fabrice [MitwirkendeR]

    Improving the model checking of stutter-invariant LTL properties ; Amélioration du model checking des propriétés LTL insensibles au bégaiement

    Hochschulschriften
    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.

    theses.fr, 2014-09-25

  18. Gopalakrishnan, Ganesh [VerfasserIn] ; Qadeer, Shaz [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6806

  20. Kuntz, Georg Wolfgang Matthias [VerfasserIn]

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

    Hochschulschriften
    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.

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