Showing 1 - 4 results of 4 for search 'V. V. Podymov', query time: 0.02s Refine Results
  1. 1
    On the application of equivalence checking algorithms for program minimization

    On the application of equivalence checking algorithms for program minimization by V. A. Zakharov, V. V. Podymov

    Published 2018-10-01
    Get full text
    Article
  2. 2
    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators

    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators by V. V. Podymov, V. A. Zakharov

    Published 2018-10-01
    Get full text
    Article
  3. 3
    On the Designing of Model Checkers for Real-Time Distributed Systems

    On the Designing of Model Checkers for Real-Time Distributed Systems by D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov

    Published 2015-03-01
    Get full text
    Article
  4. 4
    On the Designing of Model Checkers for Real-Time Distributed Systems

    On the Designing of Model Checkers for Real-Time Distributed Systems by D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov

    Published 2012-01-01
    Get full text
    Article

Search Tools: