% Encoding: UTF8
@Article{12843,
    author = "Iwona Grobelna and Michał Grobelny",
    title  = "Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV",
    year   = "2013",
    journal = "Pomiary Automatyka Robotyka",
    month   = "1",
    doi     = "10.14313/PAR_200/188",
    volume  = "17",
    number  = "200",
    pages  = "188-192",
    keywords = "diagram aktywności, logika temporalna, model logiczny, specyfikacja, UML, weryfikacja modelowa",
    url  = "https://www.par.pl/en/Yearbooks/2013/10-2013/Weryfikowanie-specyfikacji-wymagan-sterownika-logicznego-za-pomoca-diagramow-aktywnosci-UML-logiki-temporalnej-LTL-i-srodowiska-NuSMV"
    }