Panel: Complex System Verification: The Challenge Ahead - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In DAC. pages 320, 1994. [doi]

This author has not been identified. Look up 'Ronald Collett' in GoogleThis author has not been identified. Look up 'Mike Gianfagna' in GoogleThis author has not been identified. Look up 'Michel Courtoy' in GoogleThis author has not been identified. Look up 'Martin Baynes' in GoogleThis author has not been identified. Look up 'Johan Van Ginderdeuren' in GoogleThis author has not been identified. Look up 'Kenneth L. McMillan' in GoogleThis author has not been identified. Look up 'Stephen Ricca' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Steve Sapiro' in GoogleThis author has not been identified. Look up 'Naeem Zafar' in Google

runs on WebDSL