Search Results - V. A. Zakharov

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    The application of adaptive symmetry reduction for LTL model checking

    The application of adaptive symmetry reduction for LTL model checking by I. V. Konnov, V. A. Zakharov

    Published 2010-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2021-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2020-12-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    On the Minimization of Finite State Trans- ducers over Semigroups

    On the Minimization of Finite State Trans- ducers over Semigroups by V. A. Zakharov, G. G. Temerbekova

    Published 2016-12-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    On the Update Problems for Software Defined Networks

    On the Update Problems for Software Defined Networks by V. A. Zakharov, E. V. Chemeritsky

    Published 2014-12-01
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    A Formal Model and Verification Problems for Software Defined Networks

    A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

    Published 2013-12-01
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    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

    Save to List
    Saved in:

Search Tools: