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

Yassine Mokhtari Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar: NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011)
2008
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong Peng, Sofiène Tahar, Yassine Mokhtari: Compositional Verification of a Switch Fabric from Nortel Networks. ICFEM 2003: 560-578
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong Peng, Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for Compositional Model Checking. ICCD 2002: 70-

Coauthor Index

1Sa'ed Abed [3] [4]
2Otmane Aït Mohamed [3] [4]
3Hong Peng [1] [2]
4Xiaoyu Song [3]
5Sofiène Tahar [1] [2] [3] [4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page