Luis Sierra

According to our database, Luis Sierra authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions.

Dante Zanarini, Carlos Luna, Luis Sierra

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012