Amnon Heyman
发表
Assaf Schuster,
Orna Grumberg,
Limor Fix,
2007,
Int. J. Found. Comput. Sci..
Assaf Schuster,
Orna Grumberg,
Limor Fix,
2005,
ATVA.