LDR 00835naa#a2200217#i#450# 001 EN\\bibl\23745 005 20241130093419.6 011 ## _a1999-8775 100 ## _a20181106b2018####ek#y0engy0150####ca 102 ## _aRU 200 1# _aVERIFICATION OF USER INTERFACE DISTRIBUTION BASED ON π-CALCULUS _eJournal article 210 1# _aBryansk _cBryansk State Technical University _d2018 215 ## _a9 с. 608 ## _aJournal article _2local 675 ## _aИнженерное дело. Техника в целом. Транспорт. 62 _z 686 ## _aОбщие вопросы машиностроения. 55.01 _2grnti 686 ## _aТехнология машиностроения. 55.13 _2grnti 700 #1 _aSakulin _gSergey Aleksandrovich 700 #1 _aAlfimcev _gAleksandr Nikolaevich 700 #1 _aTipsin _gEvgeniy Andreevich 856 4# _anaukaru.ru _u