<Record><identifier xmlns="http://purl.org/dc/elements/1.1/">URN:NBN:SI:doc-XDKZJZJX</identifier><date>2003</date><creator>Brezočnik, Zmago</creator><creator>Dugonik, Bogdan</creator><creator>Kapus, Tatjana</creator><creator>Meolic, Robert</creator><relation>documents/doc/X/URN_NBN_SI_doc-XDKZJZJX_001.pdf</relation><relation>documents/doc/X/URN_NBN_SI_doc-XDKZJZJX_001.txt</relation><format format_type="issue">3</format><format format_type="volume">33</format><format format_type="type">article</format><format format_type="extent">str. 157-169</format><identifier identifier_type="ISSN">0352-9045</identifier><identifier identifier_type="COBISSID">8590614</identifier><identifier identifier_type="URN">URN:NBN:SI:doc-XDKZJZJX</identifier><language>eng</language><publisher>Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale</publisher><source>Informacije MIDEM</source><rights>InC</rights><subject language_type_id="slv">asinhrono vezje</subject><subject language_type_id="slv">digitalni sistemi</subject><subject language_type_id="slv">modeli</subject><subject language_type_id="eng">telecommunication</subject><subject language_type_id="slv">telekomunikacije</subject><subject language_type_id="slv">testiranje</subject><title>Formal verification of distributed mutual-exclusion circuits</title></Record>