Brian Monwai

According to our database, Brian Monwai authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Formal verification of correctness and performance of random priority-based arbiters.

Krishnan Kailas, Viresh Paruthi, Brian Monwai

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009