Showing 1 - 2 results of 2 for search 'Maxim Petrov', query time: 0.01s Refine Results
  1. 1
    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver

    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

    Published 2014-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Debris flows in the northern Tien Shan, Central Asia: regional database, meteorological triggers, and trends

    Debris flows in the northern Tien Shan, Central Asia: regional database, meteorological triggers, and trends by Maria Shahgedanova, Zarina Saidaliyeva, Ainur Mussina, Vassily Kapitsa, Zhanar Raimbekova, Denis Donskikh, Daulet Kissebayev, Murat Kasenov, Maxim Petrov

    Published 2024-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: