TY  JOUR
TI  VERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS
KW  
JO  Bulletin of Bryansk state technical university
AU  Sakulin, S.A.
AU  Alfimcev, A.N.
AU  Tipsin, E.A.
PY  2018
IS  2018
PB  Bryansk State Technical University