| Accueil > tesis > Extra Functional Properties Evaluation of Self-managed Software Systems with Formal Methods > BibTeX |
@article{MerseguerHernáiz:10404,
author = "Pérez Palacín, Diego Carmelo and Merseguer Hernáiz,
José Javier",
title = "{}",
year = "2013",
note = "Presentado: 22 02 2013",
}