URN:NBN:SI:DOC-PL8ONCMH2017Kapus, TatjanaMeolic, RobertVogrin, Rokdocuments/doc/P/URN_NBN_SI_doc-PL8ONCMH_001.pdfdocuments/doc/P/URN_NBN_SI_doc-PL8ONCMH_001.txt584articlestr. 268-2760013-585221085206URN:NBN:SI:doc-PL8ONCMHslvStrokovna zadruga koncesijoniranih elektrotehnikovElektrotehniški vestnikInCformal methodsformalne metodegene expression regulationmodel checkingpareverjanje modelovprocesna algebraprocess algebrasistemska biologijasystems biologytemporal logictemporalna logikauravnavanje izražanja genovFormalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST