%0 Journal Article
%A A. A. Letichevskii
%T Specification and modeling of distributed systems using basic protocols
%J News of the Kabardin-Balkar scientific center of RAS
%D 2005
%P 58-67
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2005_2_a8/
%G ru
%F IZKAB_2005_2_a8