Login / Signup
Martin Baynes
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)