Saturnino Marchena Rodriguez

According to our database, Saturnino Marchena Rodriguez authored at least 2 papers between 1988 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1989

ASDE: Design of a Transformational Environment for LOTOS.

Gonzalo León, Carlos Delgado Kloos, Gustavo-Adolfo Ramírez-González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, José Manuel Navarro

Proceedings of the Formal Description Techniques, 1989

1988

Transformation from LOTOS Specifications to Galileo Nets.

Saturnino Marchena Rodriguez, Gonzalo León

Proceedings of the Formal Description Techniques, 1988