Browsing by Author Sesic A.
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Feb-2008 | Dynamic power management of a system with a two-priority request queue using probabilistic-model checking | Sesic A.; Dautović, Staniša ; Malbaša, Vuk |