Beloglazov Dmitrii Mikhailovich

Publications in Math-Net.Ru

1. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
2. Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets
   
   Model. Anal. Inform. Sist., 18:4 (2011),  144–156