Search Results - Koyman, R. (Rond1959-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Specifying message passing and time-critical systems with temporal logic

    Specifying message passing and time-critical systems with temporal logic by Koyman, R. (Rond1959-

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: