Stephen Ricca

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar
Panel: Complex System Verification: The Challenge Ahead. DAC (1994)