Alon Flaisher
发表
Avner Landver,
Moshe Y. Vardi,
Boris Ginsburg,
2002,
TACAS.
Orna Grumberg,
Moshe Y. Vardi,
Roy Armoni,
2003,
CAV.
Orna Grumberg,
Orna Kupferman,
Moshe Y. Vardi,
2005,
CHARME.