dblp.uni-trier.dewww.uni-trier.de

Mohamed-Lyes Benalycherif

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

2005
3EEYounes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki: An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. Computers & Electrical Engineering 31(4-5): 282-302 (2005)
1996
2 Mohamed-Lyes Benalycherif, Claude Girault: Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. Application and Theory of Petri Nets 1996: 73-92
1993
1 Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV 1993: 191-206

Coauthor Index

1A. B. Alkhechi [1]
2Stanislaw Budkowski [1]
3Piotr Dembinski [1]
4J. P. Mouchel La Fosse [1]
5M. Gardie [1]
6Claude Girault [2]
7Romain Kamdem [3]
8Younes Lahbib [3]
9E. Lallet [1]
10Younes Souissi [1]
11Rached Tourki [3]

Colors in the list of coauthors

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