Barbora Šmahlíková

Products

• 2022

  Ranker: A Tool for Complementing Büchi Automata, software
  Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora