Search Results - "concurrent processing"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Verifying concurrent processes using temporal logic / by Hailpern, Brent T.

    Published: Berlin : Springer, 1982

    Get full text
    Book
    Save to List
    Saved in:

Search Tools: