Zum Inhalt springen

  6. Tarasjuk, Igor V. [VerfasserIn]

    Tau-Equivalences and Refinement for Petri Nets Based Design

    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: Technische Universität Dresden, Fakultät Informatik, 2000 ; Online-Ausg.: 2012

    Erschienen in: Technische Universität Dresden: Technische Berichte der Fakultät ; 2000,11

  7. Buchholz, Peter [VerfasserIn]; Tarasjuk, Igor V. [VerfasserIn]

    A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions

    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: Technische Universität Dresden, Fakultät Informatik, 2000 ; Online-Ausg.: Dresden: Saechsische Landesbibliothek - Staats- und Universitaetsbibliothek Dresden, 2013

    Erschienen in: Technische Universität Dresden: Technische Berichte der Fakultät ; 2000,12