Search Results - Zhou, Chaochen 1937-

  • Showing 1 – 2 results of 2
Filter by
  1. 1
    Cover Image

    Partial correctness of communicating processes and protocols
    by Zhou, Chaochen 1937-, Hoare, Charles A. R. 1934-

    Published 1981
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

    Duration calculus: a formal approach to real-time systems
    by Zhou, Chaochen 1937-, Hansen, Michael R. 1956-

    Published 2004
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: