%0 Conference Paper %1 conf/tacas/BarnatBSW08 %A Barnat, Jiri %A Brim, Lubos %A Simecek, Pavel %A Weber, M. %B TACAS %D 2008 %E Ramakrishnan, C. R. %E Rehof, Jakob %I Springer %K dblp %P 48-62 %T Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#BarnatBSW08 %V 4963 %@ 978-3-540-78799-0

@inproceedings{conf/tacas/BarnatBSW08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Barnat, Jiri and Brim, Lubos and Simecek, Pavel and Weber, M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b0a4fb16322ead2c92f97d13aff6bd87/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2008}, editor = {Ramakrishnan, C. R. and Rehof, Jakob}, ee = {https://doi.org/10.1007/978-3-540-78800-3_5}, interhash = {b361914993eeebc21d80449a8c5973a5}, intrahash = {b0a4fb16322ead2c92f97d13aff6bd87}, isbn = {978-3-540-78799-0}, keywords = {dblp}, pages = {48-62}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:26.000+0200}, title = {Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#BarnatBSW08}, volume = 4963, year = 2008 }