Producción e integración de fotomapas digitales para la evaluación del crecimiento urbano en el Municipio de Texcoco, Estado de México: período 1970-1 989-1 997

by David Romero Hernández, Jorge López Blanco
Published 2000-04-01

Producción e integración de fotomapas digitales para la evaluación del crecimiento urbano en el Municipio de Texcoco, Estado de México: período 1970-1989-1997

by David Romero Hernández, Jorge López Blanco
Published 2000-01-01

On the Unification of Process Semantics: Logical Semantics

by David Romero-Hernández, David de Frutos-Escrig
Published 2011-08-01

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

by David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
Published 2015-12-01