Alessandro Bogliolo, Luca Benini, Emanuele Lattanzi, Giovanni De Micheli. Specification and analysis of power-managed systems. Proceedings of the IEEE, 92(8):1308-1346, 2004. [doi]
@article{BoglioloBLM04, title = {Specification and analysis of power-managed systems}, author = {Alessandro Bogliolo and Luca Benini and Emanuele Lattanzi and Giovanni De Micheli}, year = {2004}, doi = {10.1109/JPROC.2004.831207}, url = {https://doi.org/10.1109/JPROC.2004.831207}, researchr = {https://researchr.org/publication/BoglioloBLM04}, cites = {0}, citedby = {0}, journal = {Proceedings of the IEEE}, volume = {92}, number = {8}, pages = {1308-1346}, }