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]