Anson Tripp

According to our database, Anson Tripp authored at least 1 paper in 2000.

Collaborative distances:

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

2000

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.

Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen

Proceedings of the Computer Aided Verification, 12th International Conference, 2000