Manos Koukoutos
发表
Viktor Kuncak,
Etienne Kneuss,
Manos Koukoutos,
2016,
SYNT@CAV.
Sarfraz Khurshid,
Allison Sullivan,
Kaiyuan Wang,
2018,
ABZ.
Viktor Kuncak,
Etienne Kneuss,
Manos Koukoutos,
2015
.
Viktor Kuncak,
Mukund Raghothaman,
Etienne Kneuss,
2017,
ArXiv.
Viktor Kuncak,
Etienne Kneuss,
Manos Koukoutos,
2015,
CAV.