Analysis of Interface Automata with On-Demand Replication

Autor práce

Daniel Jakub

Vedúci práce

Kofroň Jan

O projekte

Ročník

2013

Zdieľať túto prácu