Showing 1 - 2 results of 2 for search 'Vladimir Anatolyevich Zakharov', query time: 0.03s Refine Results
  1. 1
    On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
    Get full text
    Article
  2. 2
    On the Model Checking Problem for Some Extension of CTL*
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search