%0 Journal Article
%A N. O. Garanina
%A I. S. Anureev
%A O. I. Borovikova
%T Verification oriented process ontology
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 607-622
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_6_a1/
%G ru
%F MAIS_2018_25_6_a1