Managing space for finite-state verification.

Jianbin Tan, George S. Avrunin, Lori A. Clarke

Browse the full ICSE paper archive.