Lyes Benalycherif
According to our database1,
Lyes Benalycherif
authored at least 3 papers
between 2005 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
A Semantic Condition for Data Independence and Applications in Hardware Verification.
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007
Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007
2005
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005