Jounaïdi Ben Hassen

	2006
2		Jounaïdi Ben Hassen, Sofiène Tahar: On the numerical verification of probabilistic rewriting systems. DATE 2006: 1223-1224
	2004
1		Jounaïdi Ben Hassen, Sofiène Tahar: Formal verification of an SoC platform protocol converter. ISCAS (5) 2004: 313-316

Coauthor Index

1

Sofiène Tahar

[1] [2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page