%0 Journal Article
%T Autotuning Parallel Programs by Model Checking
%A Garanina, N. O.
%A Gorlatch, S. P.
%J Automatic Control and Computer Sciences
%V 56
%N 7
%P 634-648
%@ 0146-4116
%D 2022-12-01
%I Pleiades Publishing
%~ DeepDyve