Synthesizing structured reactive programs via deterministic tree automata

October 17, 2017 in by

by Benedikt Brütsch
Reference:
Benedikt Brütsch. Synthesizing structured reactive programs via deterministic tree automata. In Information and Computation 242:108-127. Elsevier, June 2015.
Bibtex Entry:
@string{jun="June"}
@article{Bru-ic14,
  author =        {Br{"u}tsch, Benedikt},
  journal =       {Information and Computation},
  month =         jun,
  pages =         {108-127},
  publisher =     {Elsevier},
  title =         {Synthesizing structured reactive programs via
                   deterministic tree automata},
  volume =        {242},
  year =          {2015},
  doi =           {10.1016/j.ic.2015.03.013},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  Bru-ic14.pdf},
  category =      {jour},
  wps =           {wp3 and wp2},
  partners =      {RWTH},
  casstingpart =  {50},
}