Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '', query time: 0.01s Refine Results
  1. 1
    The temporal logic of reactive and concurrent systems /

    The temporal logic of reactive and concurrent systems / by Manna, Zohar

    Published 1992
    Publisher description
    Book
  2. 2
    Solving combinatorial optimization problems in parallel : methods and techniques /

    Solving combinatorial optimization problems in parallel : methods and techniques /

    Published 1996
    Book

Search Tools: