Checking and Spot-Checking the Correctness of Priority Queues.

Matthew Chu, Sampath Kannan, Andrew McGregor

Browse the full ICALP paper archive.