Zum Inhalt springen

  2. Esparza, Javier [VerfasserIn]; Heljanko, Keijo [VerfasserIn]

    Unfoldings : a partial-order approach to 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.

    Berlin; Heidelberg: Springer, 2008

    Erschienen in: Monographs in theoretical computer science : an EATCS series

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

  9. Hermanns, Holger [HerausgeberIn]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

    Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings

    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; New York: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3920

  10. Ouaknine, Joel [HerausgeberIn]; Vaandrager, Frits [Sonstige Person, Familie und Körperschaft] ; FORMATS 7 2009 Budapest

    Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 5813

  11. Raskin, Jean-François [HerausgeberIn]; Raskin, Jean François [Sonstige Person, Familie und Körperschaft]; Thiagarajan, P. S. [Sonstige Person, Familie und Körperschaft] ; FORMATS 5 2007 Salzburg

    Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings

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

    Erschienen in: Lecture notes in computer science ; 4763

  13. Asarin, Eugene [HerausgeberIn]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft] ; FORMATS 4 2006 Paris

    Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

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

    Erschienen in: Lecture notes in computer science ; 4202

  17. Gieseking, Manuel [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Finkbeiner, Bernd [AkademischeR BetreuerIn]

    Correctness of data flows in asynchronous distributed systems : model checking and synthesis

    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, [2023]

  18. Gieseking, Manuel [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Finkbeiner, Bernd [AkademischeR BetreuerIn]

    Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis

    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: BIS der Universität Oldenburg, 2022

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