URN:NBN:SI:doc-ETFQ64921989Horvat, BogomirKapus, Tatjanadocuments/doc/E/URN_NBN_SI_doc-ETFQ6492_001.pdfdocuments/doc/E/URN_NBN_SI_doc-ETFQ6492_001.txt134articlestr. 44-470350-559617649922URN:NBN:SI:doc-ETFQ6492engSlovensko društvo InformatikaInformatica (Ljubljana)InCFormal verification of distributed systems