TY - JOUR AU - Sala, Antonio AU - Albertos, Pedro TI - Validación formal de técnicas de control difuso. Perspectivas. JO - Mathware & soft computing PY - 1999 SP - 305 EP - 317 VL - 6 IS - 2-3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MSC_1999_1999_1_a12/ LA - en ID - MSC_1999_1999_1_a12 ER -