"Next" Heuristic for On-the-Fly Model Checking.

Rajeev Alur, Bow-Yaw Wang

Browse the full CONCUR paper archive.