Zum Inhalt springen

  4. Alfaro, Luca de [Sonstige Person, Familie und Körperschaft]; DeAlfaro, Luca [Herausgeber:in] ; PAPM PROBMIV 1 2001 Aachen

    Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; 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-Verlag, 2001

    Erschienen in: Lecture notes in computer science ; 2165

  9. Hermanns, Holger [Verfasser:in] ; Segala, Roberto [Sonstige Person, Familie und Körperschaft]

    Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 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-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2399

  10. Alfaro, Luca [Verfasser:in] ; Gilmore, Stephen [Sonstige Person, Familie und Körperschaft]

    Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 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-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2165

  11. Cortadella, Jordi [Verfasser:in] ; Rozenberg, Grzegorz [Sonstige Person, Familie und Körperschaft]; Yakovlev, Alex [Sonstige Person, Familie und Körperschaft]

    Concurrency and Hardware Design : Advances in Petri Nets

    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-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2549