Fingerprint
Dive into the research topics of 'The invariant refinement method'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The invariant refinement method
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil
Research output: Contribution to Journal › Article › Academic › peer-review