%0 Journal Article
%A N. O. Garanina
%A I. S. Anureev
%A O. I. Borovikova
%A V. E. Zyubin
%T Methods for domain specification of verification-oriented process ontology
%J Modelirovanie i analiz informacionnyh sistem
%D 2019
%P 534-549
%V 26
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2019_26_4_a5/
%G ru
%F MAIS_2019_26_4_a5