Peter Lamborn (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Peter Lamborn, Eric A. Hansen: Layered Duplicate Detection in External-Memory Model Checking. SPIN 2008: 160-175

Selection of 1 from 5 records - Peter Lamborn has 6 coauthors