Analysis of Interface Automata with On-Demand Replication
Autor práce
Daniel Jakub
Univerzita Karlova, Matematicko-fyzikální fakulta
Vedoucí práce
Kofroň Jan