Treffer 1 – 3 von 3 für Suche 'Urbášek, Milan', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Rule based refinement for place transition systems preserving liveness properties

    Rule based refinement for place transition systems preserving liveness properties von Gajewsky, Maike, Padberg, Julia, Urbášek, Milan

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    New safety property and liveness preserving morphisms of P/T systems

    New safety property and liveness preserving morphisms of P/T systems von Urbášek, Milan

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Categorical net transformations for Petri net technology

    Categorical net transformations for Petri net technology von Urbášek, Milan

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: