@inproceedings{ESS2008,
 address = {Berlin, Heidelberg},
 author = {Stefan Edelkamp and Peter Sanders and Pavel Šimeček},
 booktitle = {20th International Conference on Computer Aided Verification},
 isbn = {978-3-540-70543-7},
 keywords = {semi-external;model checking;external;I/O complexity},
 language = {eng},
 location = {Berlin, Heidelberg},
 pages = {530-542},
 publisher = {Springer},
 title = {Semi-external LTL Model Checking},
 year = {2008}
}