Michael Leslie

According to our database, Michael Leslie authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Proving sequential consistency by model checking.

Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie, Rita Sharma

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001