L
[LR08] Kim Guldstrand Larsen et Jacob Illum Rasmussen. Optimal Conditional reachability for Multi-Priced Timed Automata. Theoretical Computer Science 390(2-3):197-213. Elsevier, janvier 2008. 
@article{tcs390(2-3)-LR,
  author =              {Larsen, Kim Guldstrand and Rasmussen, Jacob Illum},
  title =               {Optimal Conditional reachability for Multi-Priced
                         Timed Automata},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {390},
  number =              {2-3},
  pages =               {197-213},
  year =                {2008},
  month =               jan,
}
Liste des auteurs