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

Donglin Li

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

2007
3EEDonglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53
2006
2EEDonglin Li, Otmane Aït Mohamed: MDG-Based Verification of the Look-Aside Interface. CCECE 2006: 1064-1068
1EEAli Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed: Efficient assertion based verification using TLM. DATE 2006: 106-111

Coauthor Index

1Sa'ed Abed [3]
2Ali Habibi [1]
3Otmane Aït Mohamed [1] [2] [3]
4Amer Samarah [1]
5Sofiène Tahar [1]

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