Search Results - Anton Romanovich Gnatenko

  • Showing 1 - 2 results of 2
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: