Robert Beers

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Robert Beers
Pre-RTL formal verification: an intel experience. DAC (2008)
Robert Beers, Rajnish Ghughal, Mark D. Aagaard
Applications of Hierarchical Verification in Model Checking. CHARME (2001)
Robert Beers, Rajnish Ghughal, Mark D. Aagaard
Applications of Hierarchical Verification in Model Checking. FMCAD (2000)