Daniel Dours, Marianne De Michiel, Patrick Magnaud, Reda Bekkouche, Belkacem Cherfaoui. Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs. Technique et Science Informatiques, 20(8):1075-1100, 2001. [doi]
Abstract is missing.