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]