Zum Inhalt springen

  2. Mennicke, Roy [VerfasserIn] ; Kuske, Dietrich [Sonstige Person, Familie und Körperschaft]; Gastin, Paul [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]

    Model checking concurrent systems using temporal logics

    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.

    2015

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

  5. Klüppelholz, Sascha [VerfasserIn] ; Baier, Christel [AkademischeR BetreuerIn]; Arbab, Farhad [AkademischeR BetreuerIn]

    Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models

    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.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012

  6. Ravn, Anders P. [VerfasserIn] ; Rischel, Hans [Sonstige Person, Familie und Körperschaft]

    Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, 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, 1998

    Erschienen in: Lecture notes in computer science ; 1486

  7. Ouaknine, Joe͏̈l [VerfasserIn] ; Vaandrager, Frits W. [Sonstige Person, Familie und Körperschaft]

    Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. 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, 2009

    Erschienen in: Lecture notes in computer science ; 5813

  8. Raskin, Jean-François [Sonstige Person, Familie und Körperschaft]; Thiagarajan, Pazhamaneri S. [Sonstige Person, Familie und Körperschaft]

    Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. 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, 2007

    Erschienen in: Lecture notes in computer science ; 4763

  9. Asarin, Eugene [Sonstige Person, Familie und Körperschaft]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft]

    Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, 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, 2006

    Erschienen in: Lecture notes in computer science ; 4202

  11. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Cassez, Franck [Sonstige Person, Familie und Körperschaft]; Jard, Claude [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 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 ; 5215

  12. Mennicke, Roy [VerfasserIn] ; Kuske, Dietrich [MitwirkendeR]; Gastin, Paul [MitwirkendeR]; Leucker, Martin [MitwirkendeR]

    Model Checking Concurrent Systems Using Temporal Logics ; Automatische Verifikation paralleler Systeme mittels temporaler Logiken

    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.

    Digital Library Thüringen, 2015-11-25