@inproceedings{BBSW08,
 author = {Jiří Barnat and Luboš Brim and Pavel Šimeček and Michael Weber},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS).},
 pages = {48--62},
 publisher = {Springer},
 series = {LNCS},
 title = {{Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking}},
 volume = {4963},
 year = {2008}
}