1

Reporte técnico

Formalizing alternating-time temporal logic in the coq proof assistant

Autor(es): Luna, Carlos; Sierra, Luis; Zanarini, Dante
Año: 2014
Institución: Universidad de la República