Suggested Topics within your search.
Showing 1 - 1 results of 1 for search 'Parallel programs (Computer programs) -- Verification', query time: 0.02s Refine Results
  1. 1
    Verifying concurrent processes using temporal logic

    Verifying concurrent processes using temporal logic by Hailpern, Brent T. (Brent Tzion) 1955-

    Published 1982
    Subjects:
    Book
    Save to List
    Saved in:

Search Tools: