Gwena\"e Delaval, É Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. In Actes du 8ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR 2011), Pages 125-140, Lille, France, November 2011.
@InProceedings{MSR11,
Author = {Delaval, Gwena\"e and Rutten, É and Marchand, Hervé},
Title = {Int{é}gration de la synth{è}se de contr{ô}leurs discrets dans un langage de programmation},
BookTitle = {Actes du 8{è}me Colloque Francophone sur la Mod{é}lisation des Syst{è}mes R{é}actifs (MSR 2011)},
Pages = {125--140},
Address = {Lille, France},
Month = {November},
Year = {2011}
}
Get EndNote Reference (.ref)