Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.

Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber

Browse the full TACAS paper archive.