1 results Refine Results
  1. 1
    by Koymans, R. (Ron), 1959-
    Published 1992
    Subjects “...Data transmission systems....”
    Book
    Save to List
    Saved in:
    Specifying message passing and time-critical systems with temporal logic /

Search Tools: