Ramin Hojati, Herv J. Touati, Robert P. Kurshan, Robert K. Brayton
Browse the full CAV paper archive.