Not registered as user yet

Name: Vojtěch Havlena

Affiliation: Brno University of Technology

Contributions

APLAS 2019Author of Simulations in Rank-Based Buchi Automata Complementation within the Research Papers-track