Robert Beers

According to our database, Robert Beers authored at least 2 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Pre-RTL formal verification: an intel experience.

Robert Beers

Proceedings of the 45th Design Automation Conference, 2008

2000

Applications of Hierarchical Verification in Model Checking.

Robert Beers, Rajnish Ghughal, Mark D. Aagaard

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000