Michael Q. Zeng

According to our database, Michael Q. Zeng authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Debugging Network Reachability with Blocked Paths.

Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021