Showing 1 - 3 results of 3 for search 'Hailpern, Brent T.', 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
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic by Hailpern, Brent T.

    Published 1980
    Thesis Microfilm Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic by Hailpern, Brent T.

    Published 1982
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic by Hailpern, Brent T.

    Published 1982
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: