年度	2020
全部作者	洪智铎
论文名称	Oliver Markgraf*;Chih-Duo Hong;Anthony Lin;Muhammad Najib;Daniel Neider, 2020.11, 'Parameterized Synthesis with Safety Properties, ' The 18th Asian Symposium on Programming Languages and Systems (APLAS), Kyushu University.(DBLP, Springer)(*为通讯作者)
发表日期	2020-11-01
ISI Number	107189