%0 Journal Article
%A N. O. Garanina
%A S. P. Gorlatch
%T Autotuning parallel programs by model checking
%J Modelirovanie i analiz informacionnyh sistem
%D 2021
%P 338-355
%V 28
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2021_28_4_a2/
%G en
%F MAIS_2021_28_4_a2