Showing 1 - 8 results of 8 for search 'McMillan, Kenneth L.', query time: 0.04s 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
    Symbolic model checking

    Symbolic model checking by McMillan, Kenneth L.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Symbolic model checking an approach to the state explosion problem

    Symbolic model checking an approach to the state explosion problem by McMillan, Kenneth L.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings

    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings by McMillan, Kenneth L.

    Published 2013
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Symbolic Model Checking

    Symbolic Model Checking by McMillan, Kenneth L.

    Published 1993
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings

    Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings by McMillan, Kenneth L.

    Published 2013
    Description
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Symbolic model checking

    Symbolic model checking by McMillan, Kenneth L.

    Published 2003
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Symbolic model checking

    Symbolic model checking by McMillan, Kenneth L.

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Symbolic model checking an approach to the state explosion problem

    Symbolic model checking an approach to the state explosion problem by McMillan, Kenneth L.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: