Formal verification of an SoC platform protocol converter. - Jounaïdi Ben Hassen; Sofiène Tahar (ISCAS (5), 2004)

On the numerical verification of probabilistic rewriting systems. - Jounaïdi Ben Hassen; Sofiène Tahar (DATE, 2006)