Treffer 1 – 4 von 4 für Suche 'Gajewsky, Maike', Suchdauer: 0,03s 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
    Formal transformations of Petri nets

    Formal transformations of Petri nets von Gajewsky, Maike, Parisi-Presicce, Francesco

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Place preserving and transition gluing morphisms in rule-based refinement of place transition systems

    Place preserving and transition gluing morphisms in rule-based refinement of place transition systems von Gajewsky, Maike, Hoffmann, Kathrin, Padberg, Julia

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Safety preserving transformations of coloured Petri Nets

    Safety preserving transformations of coloured Petri Nets von Padberg, Julia, Gajewsky, Maike

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: