B
[BDL+14] Peter Bulychev, Alexandre David, Kim Guldstrand Larsen et Guangyuan Li. Efficient Controller Synthesis for a fragment of MTL0,&infin. Acta Informatica 51(3-4):165-192. Springer-Verlag, juin 2014. 
@article{acta51(3-4)-BDLL,
  author =              {Bulychev, Peter and David, Alexandre and Larsen, Kim
                         Guldstrand and Li, Guangyuan},
  title =               {Efficient Controller Synthesis for a fragment of
                         {{\(\textsf{MTL}_{0,\infty}\)}}},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {51},
  number =              {3-4},
  pages =               {165-192},
  year =                {2014},
  month =               jun,
  doi =                 {10.1007/s00236-013-0189-z},
}
Liste des auteurs