TY - JOUR AU - А.Ф. Хабибрахманов TI - О формальной модели и спецификации распределенной диалоговой системы JO - Veroâtnostnye metody i kibernetika PY - 1990 SP - 102 EP - 111 VL - 24 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMK_1990__24_69282/ LA - ru ID - VMK_1990__24_69282 ER -