Skip to content

Petr Matousek

  • PhD
  • 5h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 87CitationsNumber of citations received by Petr's publications. Updated daily.

Recent publications

  • Preface

    • Matousek P
    • Schmiedecker M
    N/AReaders
    0Citations
  • Verifying VHDL designs with multiple clocks in SMV

    • Smrčka A
    • Řehák V
    • Vojnar T
    • et al.
    N/AReaders
    0Citations

Groups

Co-authors (29)

  • Stanislav Bárta
  • Vladimír Veselý
  • Matěj Grégr
  • Libor Polčák
  • Ondrej Rysavy

Other IDs