Lower-Bound Constrained Runs in Weighted Timed Automata

December 16, 2017 in by

by Patricia Bouyer, Kim G. Larsen, Nicolas Markey
Reference:
Patricia Bouyer, Kim G. Larsen, Nicolas Markey. Lower-Bound Constrained Runs in Weighted Timed Automata. In Performance Evaluation 73:91-109. Elsevier, March 2014.
Bibtex Entry:
@string{mar="March"}
@article{BLM-peva14,
  author =        {Bouyer, Patricia and Larsen, Kim G. and
                   Markey, Nicolas},
  journal =       {Performance Evaluation},
  month =         mar,
  pages =         {91-109},
  publisher =     {Elsevier},
  title =         {Lower-Bound Constrained Runs in Weighted Timed
                   Automata},
  volume =        {73},
  year =          {2014},
  doi =           {10.1016/j.peva.2013.11.002},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BLM-peva13.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {CNRS and AAU},
  casstingpart =  {10},
}