Showing 1 - 2 results of 2 for search 'Anton Romanovich Gnatenko', query time: 0.01s 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:

Search Tools: