Для цитирования:

Гаранина Н.О., Ануреев И.С., Боровикова О.И. Онтология процессов, ориентированная на верификацию. Моделирование и анализ информационных систем. 2018;25(6):607-622. https://doi.org/10.18255/1818-1015-2018-6-607-622

For citation:

Garanina N.O., Anureev I.S., Borovikova O.I. Verification Oriented Process Ontology. Modeling and Analysis of Information Systems. 2018;25(6):607-622. (In Russ.) https://doi.org/10.18255/1818-1015-2018-6-607-622