Reporte técnico Formalizing alternating-time temporal logic in the coq proof assistant Autor(es): Luna, Carlos - Sierra, Luis - Zanarini, Dante
Fecha de publicación: 2014
Institución: Universidad de la República
Otros Autores: