Roberto Di Cosmo, Stefano Zacchiroli, and Gianluigi Zavattaro. Towards a formal component model for the cloud. In SEFM, pages 156--171, 2012.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.