CSpace

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

限定条件        
已选(0)清除 条数/页:   排序方式:
Abstraction of elementary hybrid systems by variable transformation 会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang
Adobe PDF(512Kb)  |  收藏  |  浏览/下载:53/0  |  提交时间:2018/03/16
Experiment study on mechanical properties of bedding shale in Lower Silurian Longmaxi shale Southeast Chongqing 期刊论文
Yanshilixue Yu Gongcheng Xuebao/Chinese Journal of Rock Mechanics and Engineering, 2015, 卷号: 34, 页码: 3313-3319
作者:  Yao, Guanghua;  Chen, Qiao;  Liu, Hong;  Tan, Yanhu;  Wang, Lisha;  Du, Hongyu;  Zhu, Honglin
Adobe PDF(877Kb)  |  收藏  |  浏览/下载:214/0  |  提交时间:2018/03/16