Lyes Benalycherif

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2EELyes 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
1EEAnat 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)