Zum Inhalt springen

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

    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

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

    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

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

    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