COBISS Kooperativni online bibliografski sistem in servisi COBISS
Igor Konnov
Osebna bibliografija za leto 2016
2016
1.
KUKOVEC, Jure. Generalizing treshold automata for reachability in parameterized systems : masterʼs
thesis. Ljubljana: [J. Kukovec], 2016. [57] str., ilustr. Repozitorij Univerze v Ljubljani – RUL. [COBISS.SI-ID 17768025]