B
[BLR05] Gerd Behrmann, Kim Guldstrand Larsen, and Jacob Illum Rasmussen. Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4):34-40. March 2005.
@article{SIGper32(4)-BLR,
  author =              {Behrmann, Gerd and Larsen, Kim Guldstrand and
                         Rasmussen, Jacob Illum},
  title =               {Optimal scheduling using priced timed automata},
  journal =             {SIGMETRICS Performance Evaluation Review},
  volume =              {32},
  number =              {4},
  pages =               {34-40},
  year =                {2005},
  month =               mar,
}
List of authors