Anil Mahtani, Luis Sánchez, Aaron Martínez, Daniel García, David Morales, Enrique Fernández-Perdomo, Federico Maniscalco, Jorge Cabrera. AVORA I Successful Participation in SAUC-E'12. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part II. Volume 8112 of Lecture Notes in Computer Science, pages 313-320, Springer, 2013. [doi]
Abstract is missing.