Elena Carrión

According to our database, Elena Carrión authored at least 1 paper in 1998.

Collaborative distances:

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

1998

SGLOT: A Visual Tool for Structural LOTOS Specifications.

Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998