 |
|
| Zhe Dang |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
Name
Zhe Dang
E-Mail
dang@cs.ucsb.edu
Homepage
http://www.cs.ucsb.edu/~dang/
Institution
University of California - Santa Barbara (CS) Publications
2000:
/Dang, 2000/ Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System
1999:
/Dang, 1999/ Using the ASTRAL Model Checker to Analyze Mobile IP
See Also
more information at dlpb - Universität Trier
GDPA Online
Last Updated 01.Jan.2002
Updated by Webmaster
Last Revised 01.Jan.2002
Revised by Webmaster
|