Brent Hailpern

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Hailpern, Brent', 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
    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
    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications by Hailpern, Brent

    Published 1999
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    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: