CORC

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

已选(0)清除 条数/页:   排序方式:
Carotid artery plaque intervention with Tongxinluo capsule (CAPITAL): A multicenter randomized double-blind parallel-group placebo-controlled study 期刊论文
Scientific reports, 2019, 卷号: 9, 页码: 4545
作者:  Zhang Mei[1];  Liu Yan[2];  Xu Mingjun[3];  Zhang Lei[4];  Liu Xiaoling[6]
收藏  |  浏览/下载:47/0  |  提交时间:2019/04/22
Counterexample generation and representation in model checking for probabilistic timed automata 会议论文
Singapore, Singapore, August 3, 2011 - August 5, 2011
作者:  Wu, Jianfeng[1];  Wang, Jing[1];  Rong, Mei[2];  Zhang, Guangquan[1,3];  Zhu, Jihan[1]
收藏  |  浏览/下载:3/0  |  提交时间:2019/12/17


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