Tim Leonard (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Per Bjesse, Tim Leonard, Abdel Mokkedem: Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV 2001: 454-464

Selection of 1 from 4 records - Tim Leonard has 8 coauthors