%0 Journal Article
%A I. V. Konnov
%T Application of weaker simulations to parameterized model checking by network invariants
%J Modelirovanie i analiz informacionnyh sistem
%D 2008
%P 3-13
%V 15
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2008_15_3_a0/
%G ru
%F MAIS_2008_15_3_a0