Modeling and Analysis of Power-Aware Systems.

Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou

Browse the full TACAS paper archive.