Time-Efficient Model Checking with Magnetic Disk.

Tonglaga Bao, Michael D. Jones

Browse the full TACAS paper archive.