%0 Journal Article
%A E. V. Kuzmin
%A V. A. Sokolov
%A D. A. Ryabukhin
%T Construction and Verification of PLC LD-programs by LTL-specification
%J Modelirovanie i analiz informacionnyh sistem
%D 2013
%P 78-94
%V 20
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a5/
%G ru
%F MAIS_2013_20_6_a5