%0 Journal Article
%A Badr, Amr
%T Análisis formal de la dinámica computacional en GIGANTEC.
%J Mathware & soft computing
%D 2001
%P 137-152
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MSC_2001_2001_1_a12/
%G en
%F MSC_2001_2001_1_a12