%0 Journal Article
%A D. I. Kharitonov
%T Separable object-oriented program verification with C++ class protocol definition in terms of Petri nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2009
%P 92-111
%V 16
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2009_16_1_a6/
%G ru
%F MAIS_2009_16_1_a6