Lyes Benalycherif

2007
2	EE	Lyes Benalycherif, Anthony McIsaac, Neil Dunlop: Structured Approach to Property Specification and Verification of HW IP. IEEE International Workshop on Rapid System Prototyping 2007: 161-166
2005
1	EE	Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib: Combining System Level Modeling with Assertion Based Verification. ISQED 2005: 310-315

Coauthor Index

1	Anat Dahan	[1]
2	Neil Dunlop	[2]
3	Daniel Geist	[1]
4	Leonid Gluhovsky	[1]
5	Romain Kamdem	[1]
6	Younes Lahbib	[1]
7	Anthony McIsaac	[2]
8	Dmitry Pidan	[1]
9	Gil Shapir	[1]
10	Yaron Wolfsthal (Yaron Wolfstahl)	[1]

Colors in the list of coauthors