@proceedings {66985,
	title = {Une approche synchrone pour la verification des systemes embarques a base d{\textquoteright}IPs},
	journal = {International Conference: Sciences of Electronics, Technologies of Information and Telecommunication (SETIT{\textquoteright}12)},
	year = {2012},
	month = {2012},
	author = {Hocine, Riadh and Kalla, Hamoudi and Kalla, Salim}
}
