Zum Inhalt springen

  1. Bérard, Beatrice; Labroue, Anne; Schnoebelen, Philippe

    Lecture Notes in Computer Science: Verifying Performance Equivalence for Timed Basic Parallel Processes

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2000

    Erschienen in: Lecture Notes in Computer Science