Showing 1 - 1 results of 1 for search 'Roever, W. P. De', query time: 0.02s Refine Results
  1. 1
    Linear time, branching time and partial order in logics and models for concurrency
    Published 1989
    Other Authors: “…Roever, W. P. De…”
    Book
Search Tools: RSS Feed – Email Search