Year	2020
Authors	Chih-Duo Hong
Paper Title	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)(*為通訊作者)
Date of Publication	2020-11-01
ISI Number	107189