Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà , Emanuele Lattanzi. A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. In Marco Bernardo, Alessandro Bogliolo, editors, Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Volume 3465 of Lecture Notes in Computer Science, pages 155-189, Springer, 2005. [doi]
@inproceedings{AcquavivaABBBL05,
title = {A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management},
author = {Andrea Acquaviva and Alessandro Aldini and Marco Bernardo and Alessandro Bogliolo and Edoardo Bontà and Emanuele Lattanzi},
year = {2005},
doi = {10.1007/11419822_5},
url = {http://dx.doi.org/10.1007/11419822_5},
tags = {rule-based},
researchr = {https://researchr.org/publication/AcquavivaABBBL05},
cites = {0},
citedby = {0},
pages = {155-189},
booktitle = {Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures},
editor = {Marco Bernardo and Alessandro Bogliolo},
volume = {3465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25697-0},
}