TY - JOUR AU - S. V. Kubasov AU - V. A. Sokolov TI - Synchronous model of automaton program JO - Modelirovanie i analiz informacionnyh sistem PY - 2007 SP - 11 EP - 18 VL - 14 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/ LA - ru ID - MAIS_2007_14_1_a1 ER -