共 11 条
- [1] [Anonymous], 1997, An engineering approach to computer networking: ATM net- works, the Internet, and the telephone network
- [2] [Anonymous], 2000, ACM Trans. Comput. Logic, DOI DOI 10.1145/343369.343402
- [3] Hansson H., 1994, Formal Aspects of Computing, V6, P512, DOI 10.1007/BF01211866
- [4] Propp JG, 1996, RANDOM STRUCT ALGOR, V9, P223, DOI 10.1002/(SICI)1098-2418(199608/09)9:1/2<223::AID-RSA14>3.0.CO
- [5] 2-O
- [6] Sen Koushik, 2005, LNCS, V3576
- [8] VINCENT JM, 2007, QEST
- [9] Younes H. L. S., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P223