[IEEE 2009 IEEE International Conference on Networking, Architecture, and Storage (NAS) - Zhang Jia Jie, Hunan, China (2009.07.9-2009.07.11)] 2009 IEEE International Conference on Networking, Architecture, and Storage - Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net
Yu, Feng, Luo, JunZhou, Li, Wei, Jiang, LaLinYear:
2009
Language:
english
DOI:
10.1109/nas.2009.43
File:
PDF, 186 KB
english, 2009