Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary
Browse the full FMCAD paper archive.