TY - JOUR AU - Osés-Ollo, M. Teresa AU - Aguiló-Llobet, Jordi AU - Huguet, Llorenç TI - Estudio formal de redes lineales y su aplicación a la síntesis de contadores. JO - Qüestiió PY - 1981 SP - 209 EP - 218 VL - 5 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/QUE_1981_1981_1_a16/ LA - es ID - QUE_1981_1981_1_a16 ER -