Igor Konnov

Igor Konnov (3 August 1954 – 2002) was a Russian rower. He competed in the men's eight event at the 1976 Summer Olympics. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Igor Konnov', query time: 0.02s Refine Results
  1. 1
    A case study on parametric verification of failure detectors

    A case study on parametric verification of failure detectors by Thanh-Hai Tran, Igor Konnov, Josef Widder

    Published 2023-03-01
    Get full text
    Article
  2. 2
    Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

    Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker by Igor Konnov, Marijana Lazić, Ilina Stoilkovska, Josef Widder

    Published 2023-01-01
    Get full text
    Article

Search Tools: