Shrinking Timed Automata

October 16, 2017 in by

by Ocan Sankur, Patricia Bouyer, Nicolas Markey
Reference:
Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking Timed Automata. In Information and Computation 234:107-132. Elsevier, February 2014.
Bibtex Entry:
@string{feb="February"}
@article{SBM-ic14,
  author =        {Sankur, Ocan and Bouyer, Patricia and
                   Markey, Nicolas},
  journal =       {Information and Computation},
  month =         feb,
  pages =         {107-132},
  publisher =     {Elsevier},
  title =         {Shrinking Timed Automata},
  volume =        {234},
  year =          {2014},
  doi =           {10.1016/j.ic.2014.01.002},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  SBM-ic14.pdf},
  category =      {jour},
  wps =           {wp3},
  partners =      {CNRS},
  casstingpart =  {25},
}