Showing 1 - 2 results of 2 for search 'Godefroid, Patrice', 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
    Partial order methods for the verification of concurrent systems an approach to the state explosion problem

    Partial order methods for the verification of concurrent systems an approach to the state explosion problem by Godefroid, Patrice

    Published 1996
    Indexes
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Partial order methods for the verification of concurrent systems an approach to the state explosion problem

    Partial order methods for the verification of concurrent systems an approach to the state explosion problem by Godefroid, Patrice

    Published 1996
    Get full text
    Thesis Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: