%0 Journal Article
%A D. M. Beloglazov
%A M. Yu. Mashukov
%A V. A. Nepomnyashchii
%T Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 144-156
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a12/
%G ru
%F MAIS_2011_18_4_a12