Gilles Benattar

	2011
2		Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas: Channel Synthesis for Finite Transducers. AFL 2011: 79-92
	2009
1		Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux: Synthesis of Non-Interferent Timed Systems. FORMATS 2009: 28-42

Coauthor Index

1	Béatrice Bérard	[2]
2	Franck Cassez	[1]
3	Didier Lime	[1] [2]
4	John Mullins	[2]
5	Olivier H. Roux (Olivier Roux)	[1] [2]
6	Mathieu Sassolas	[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page