%0 Journal Article
%A A. V. Davydov
%A A. A. Larionov
%A N. V. Nagul
%T On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
%J Modelirovanie i analiz informacionnyh sistem
%D 2024
%P 54-77
%V 31
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2024_31_1_a2/
%G ru
%F MAIS_2024_31_1_a2