DaftarIsitemplate
 
Call Number
SEM-347
Title
Using SPIN model checking for transmission control protocol, 33-37
Author
Nan Jiang, Zhiqiang Chen;
Publisher
Proceedings 2011 4th IEEE International Conference on computer science and information technology Juni 10-12, 2011 Chengdu, China (ICCSIT 2011)
Subject
Location