%0 Journal Article %A Osés-Ollo, M. Teresa %A Aguiló-Llobet, Jordi %A Huguet, Llorenç %T Estudio formal de redes lineales y su aplicación a la síntesis de contadores. %J Qüestiió %D 1981 %P 209-218 %V 5 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/QUE_1981_1981_1_a16/ %G es %F QUE_1981_1981_1_a16