[IEEE 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST) - Shanghai, TBD, China (2009.12.17-2009.12.19)] 2009 Fourth International Conference on Frontier of Computer Science and Technology - A Local Algorithm for Checking Probabilistic Bisimilarity
- 作者Deng, Yuxin; Du, Wenjie
- 文件大小186.45KB
- 发表时间2009
- DOI10.1109/fcst.2009.37
- 页码401-407
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - 2007 IEEE International Conference on Multimedia and Expo2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Covers2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Author Index2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Copyright page2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Organizing Committee2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Table of Contents2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - General Chairs' Message2007
[IEEE Multimedia and Expo, 2007 IEEE International Conference on - Beijing, China (2007.07.2-2007.07.5)] Multimedia and Expo, 2007 IEEE International Conference on - Technical Program Committee2007