Studying the Constitutive Model of Damage for a Stainless Steel Argon–Oxygen Decarburization Slag Mixture door Liuyun Huang, Zhuxin Lan, Guogao Wei, Yuliang Chen, Tun Li

Volledige tekst

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives door Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

Volledige tekst