Treffer 1 – 8 von 8 für Suche 'Burkart, Olaf', Suchdauer: 0,05s 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
    An elementary bisimulation decision procedure for arbitrary context free processes

    An elementary bisimulation decision procedure for arbitrary context free processes von Burkart, Olaf, Caucal, Didier, Steffen, Bernhard

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Pushdown processes parallel composition and model checking

    Pushdown processes parallel composition and model checking von Burkart, Olaf, Steffen, Bernhard

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Model checking for context-free processes

    Model checking for context-free processes von Burkart, Olaf, Steffen, Bernhard

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Automatic verification of sequential infinite state processes

    Automatic verification of sequential infinite state processes von Burkart, Olaf

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Composition, decomposition and model checking of pushdown processes

    Composition, decomposition and model checking of pushdown processes von Burkart, Olaf, Rüthing, Oliver

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Automatic verification of sequential infinite state processes

    Automatic verification of sequential infinite state processes von Burkart, Olaf

    Veröffentlicht 1997
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Composition, decomposition and model checking of pushdown processes

    Composition, decomposition and model checking of pushdown processes von Burkart, Olaf 1964-, Steffen, Bernhard 1958-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Pushdown processes parallel composition and model checking

    Pushdown processes parallel composition and model checking von Burkart, Olaf, Steffen, Bernhard

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: