D
[Doy07] Laurent Doyen. Robust parametric reachability for timed automata. Information Processing Letters 102(5):208-213. Elsevier, May 2007.
@article{ipl102(5)-Doy,
  author =              {Doyen, Laurent},
  title =               {Robust parametric reachability for timed automata},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {102},
  number =              {5},
  pages =               {208-213},
  year =                {2007},
  month =               may,
  doi =                 {10.1016/j.ipl.2006.11.018},
}
List of authors