Showing 1 - 3 results of 3 for search 'Kaivola, Roope', query time: 0.02s 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
    Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems

    Equivalences, preorders and compositional verification for linear time temporal logic and concurrent systems by Kaivola, Roope

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Axiomatising linear time mu calculus

    Axiomatising linear time mu calculus by Kaivola, Roope

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    On modal mu calculus and Büchi tree automata

    On modal mu calculus and Büchi tree automata by Kaivola, Roope

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: