Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Albert Albiol, Elvira and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.

This list was generated on Fri Oct 30 11:52:38 2020 CET.