Cindy Eisner
International Journal on Software Tools for Technology Transfer
Cindy Eisner
International Journal on Software Tools for Technology Transfer
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, et al.
Formal Methods in System Design
Cindy Eisner, Dana Fisman, et al.
PODC 2005
Eli Arbel, Cindy Eisner, et al.
DAC 2009