Sciweavers

TACAS
2004
Springer

Resource-Optimal Scheduling Using Priced Timed Automata

13 years 9 months ago
Resource-Optimal Scheduling Using Priced Timed Automata
Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. S
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TACAS
Authors Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani
Comments (0)