Publikace
Počet publikací: 222
Články ve sbornících
-
The form of marriage in Czechoslovakia after the First World War
Kulturkampf um die Ehe - Reform des europäischen Eherechts nach dem Großen Krieg, rok: 2021
-
Timed Automata Relaxation for Reachability
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), rok: 2021