%0 Journal Article %A N. O. Garanina %A E. A. Sidorova %T An approach to verification of a family of multiagent systems for conflict resolution %J Modelirovanie i analiz informacionnyh sistem %D 2016 %P 703-714 %V 23 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a2/ %G ru %F MAIS_2016_23_6_a2