@Comment {Thu, 24 Aug 2017 01:09:47 GMT}

@InProceedings {CReSTIC-1417,
  author     = {Marang{\'e}, Pascale and Gellot, Fran\c{c}ois and Riera, Bernard},
  title      = {V{\'e}rification des propri{\'e}t{\'e}s de s{\'e}curit{\'e} pour la commande des syst{\`e}mes {\`a} {\'e}v{\'e}nements discrets},
  booktitle  = {Workshop Surveillance, S{\^u}ret{\'e} et S{\'e}curit{\'e} des Grands Syst{\`e}mes 2008},
  address    = {Troyes, France},
  month      = jun,
  year       = 2008
}