%0 Journal Article %T REASONING ABOUT PROGRAMMABLE LOGIC CONTROLLERS %A Garanina, Natalia Olegovna %A RAS, SBSystemsInformaticsofInstituteErshovA.P. %A Anureev, Igor Sergeevich %A Zyubin, Vladimir Evgenievich %A Rozov, Andrei Sergeevich %A Liakh, Tatiana Viktorovna %A Gorlatch, Sergei %A RAS, SBSystemsInformaticsofInstituteErshovA.P. %A Sciences, ofAcademyRussiantheofBranchSiberianofElectrometryandAutomationofInstitute %A Sciences, ofAcademyRussiantheofBranchSiberianofElectrometryandAutomationofInstitute %A Sciences, ofAcademyRussiantheofBranchSiberianofElectrometryandAutomationofInstitute %A Muenster, ofUniversity %A , %J System Informatics %@ 2307-6410 %D 2020-01-01 %I A.P. Ershov Institute of Informatics Systems SB RAS %~ DeepDyve