Zum Inhalt springen

  5. Baccelli, François [Sonstige Person, Familie und Körperschaft]; Cohen, Guy [Sonstige Person, Familie und Körperschaft]; Olsder, Geert Jan [Sonstige Person, Familie und Körperschaft]; Quadrat, Jean-Pierre [Sonstige Person, Familie und Körperschaft]

    Synchronization and linearity : an algebra for discrete event 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.

    Chichester [u.a.]: Wiley, 1992

    Erschienen in: Wiley series in probability and mathematical statistics

  8. Chatterjee, Krishnendu [Herausgeber:in]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; FORMATS 8 2010 Klosterneuburg

    Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6246

  12. Bernardo, Marco [Herausgeber:in]; Corradini, Flavio [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication and Software Systems 4 2004 Bertinoro

    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13 - 18, 2004 ; revised lectures

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

    Erschienen in: Lecture notes in computer science ; 3185

  14. Lakhnech, Yassine [Herausgeber:in]; Yovine, Sergio [Sonstige Person, Familie und Körperschaft] ; FORMATS 2 2004 Grenoble, FTRTFT 8 2004 Grenoble

    Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real- Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004 ; 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, 2004

    Erschienen in: Lecture notes in computer science ; 3253

  16. Ouaknine, Joel [Herausgeber:in]; 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
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5813

  17. Cassez, Franck [Herausgeber:in]; Jard, Claude [Herausgeber:in] ; FORMATS 6 2008 Saint-Malo

    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5215

  18. Raskin, Jean-François [Herausgeber:in]; 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
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4763

  19. Larsen, Kim G. [Sonstige Person, Familie und Körperschaft]; Larsen, Kim Guldstrand [Herausgeber:in] ; FORMATS 1 2003 Marseille

    Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers

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

    Erschienen in: Lecture notes in computer science ; 2791

  20. Asarin, Eugene [Herausgeber:in]; 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
    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, 2006

    Erschienen in: Lecture notes in computer science ; 4202