Search Results - Vladimir Anatolyevich Zakharov

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    On the Model Checking Problem for Some Extension of CTL*

    On the Model Checking Problem for Some Extension of CTL* by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

    On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

    Published 2021-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

    On the Modeling of Sequential Reactive Systems by Means of Real Time Automata by Evgeney Maximovich Vinarskii, Vladimir Anatolyevich Zakharov

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: