@article{ESBBS2011,
 article_number = {2},
 author = {Stefan Edelkamp and Damian Sulewski and Jiří Barnat and Luboš Brim and Pavel Šimeček},
 doi = {http://dx.doi.org/10.1016/j.scico.2010.03.005},
 issn = {0167-6423},
 journal = {Science of Computer Programming},
 keywords = {Model checking; External memory algorithms; Algorithm engineering},
 language = {eng},
 title = {Flash memory efficient LTL model checking},
 url = {http://dx.doi.org/10.1016/j.scico.2010.03.005},
 volume = {76},
 year = {2011}
}