Patrick Augé

	2001
2		Patrick Augé, Brigitte Rozoy, T. Maurin, Roger Reynaud, Kamel Bouchefra: Simulation and verification of an embedded system. Computers and Their Applications 2001: 272-275
1		Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412

Coauthor Index

1	Dominique Ambroise	[1]
2	Kamel Bouchefra	[1] [2]
3	T. Maurin	[2]
4	Roger Reynaud	[2]
5	Brigitte Rozoy	[1] [2]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page