Search results for: A. Aldini
Lecture Notes in Computer Science > Formal Methods for Mobile Computing > Dynamic Power Management > 155-189
Theoretical Computer Science > 2003 > 290 > 1 > 355-406
Lecture Notes in Computer Science > Formal Methods for Mobile Computing > Dynamic Power Management > 155-189
Theoretical Computer Science > 2003 > 290 > 1 > 355-406