@article{bibliotecadigitalicesi10906/78336,
title =    {QoS contract preservation through dynamic reconfiguration: A formal semantics approach},
year =    {2014},
issn =    {0167-6423},
}