Showing 1 - 11 results of 11 for search 'Barringer, Howard', 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
    Advances in Temporal Logic

    Advances in Temporal Logic by Barringer, Howard

    Published 2000

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Program logics a short survey

    Program logics a short survey by Fisher, Michael 1962-, Barringer, Howard

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Formal specification and verification of hardware a comparative case study

    Formal specification and verification of hardware a comparative case study by Stavridou, Victoria, Barringer, Howard, Edwards, Dough A.

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Using temporal logic in the compositional specification of concurrent systems

    Using temporal logic in the compositional specification of concurrent systems by Barringer, Howard

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A study of an extended temporal logic and a temporal fixed point calculus

    A study of an extended temporal logic and a temporal fixed point calculus by Banieqbal, Behnam, Barringer, Howard

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    A Survey of verification techniques for parallel programs

    A Survey of verification techniques for parallel programs by Barringer, Howard

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Fair SMG and linear time model checking

    Fair SMG and linear time model checking by Barringer, Howard, Fisher, Michael 1962-, Gough, Graham D.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Up and down the temporal way

    Up and down the temporal way by Barringer, Howard

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    A survey of verification techniques for parallel programs

    A survey of verification techniques for parallel programs by Barringer, Howard

    Published 1985
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    A semantics driven temporal verification system

    A semantics driven temporal verification system by Gough, Graham D., Barringer, Howard

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    A survey of verification techniques for parallel programs

    A survey of verification techniques for parallel programs by Barringer, Howard

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: