Showing 1 - 8 results of 8 for search 'Burkart, Olaf', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Automatic verification of sequential infinite state processes

    Automatic verification of sequential infinite state processes by Burkart, Olaf

    Published 1997
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Composition, decomposition and model checking of pushdown processes

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

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    An elementary bisimulation decision procedure for arbitrary context free processes

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

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Pushdown processes parallel composition and model checking

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Model checking for context-free processes

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

    Published 1992
    Book Interlibrary loan Place Request


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

    Automatic verification of sequential infinite state processes by Burkart, Olaf

    Published 1997
    Get full text
    Electronic eBook Interlibrary loan Place Request


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

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

    Published 1994
    Book Interlibrary loan Place Request


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

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: