CORC

浏览/检索结果: 共1条,第1-1条 帮助

限定条件                    
已选(0)清除 条数/页:   排序方式:
Formalizing and checking SET protocol based on TLA 会议论文
Henan, China, November 7, 2010 - November 9, 2010
作者:  Xu, Fei;  Zhang, Ai Ming;  Wan, Liang
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/31


©版权所有 ©2017 CSpace - Powered by CSpace