年度	2017
全部作者	洪智铎
论文名称	Yu-Fang Chen*;Chih-Duo Hong*;Anthony Lin*;Philipp Rümmer*, 2017.10, 'Learning to Prove Safety over Parameterised Concurrent Systems, ' The 17th International Conference on Formal Methods in Computer Aided Design (FMCAD), TU Wien.(DBLP, IEEE)(*为通讯作者)
发表日期	2017-10-01
ISI Number	107283