Showing 1 - 6 results of 6 for search 'Alpern, Bowen', 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
    Recognizing safety and liveness

    Recognizing safety and liveness by Alpern, Bowen, Schneider, Fred B.

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Proving temporal properties of concurrent programs a non-temporal approach

    Proving temporal properties of concurrent programs a non-temporal approach by Alpern, Bowen L.

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Safety without stuttering

    Safety without stuttering by Alpern, Bowen, Demers, Alan J., Schneider, Fred B.

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Defining liveness

    Defining liveness by Alpern, Bowen, Schneider, Fred B.

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Verifying temporal properties without using temporal logic

    Verifying temporal properties without using temporal logic by Alpern, Bowen, Schneider, Fred B.

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Key exchange using "keyless cryptography"

    Key exchange using "keyless cryptography" by Alpern, Bowen, Schneider, Fred B.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: