@inproceedings{DBLP:conf/spin/BabiakBDKS13,
    Author = {Babiak, Tom{\'{a}}s and Badie, Thomas and Duret{-}Lutz, Alexandre and Kret{\'{\i}}nsk{\'{y}}, Mojm{\'{\i}}r and Strejcek, Jan},
    BookTitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
    Pages = {81--98},
    Title = {Compositional Approach to Suspension and Other Improvements to {LTL} Translation},
    URL = {http://dx.doi.org/10.1007/978-3-642-39176-7\_6},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39176-7\_6},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/spin/BabiakBDKS13},
    date-added = {2016-11-11 21:11:10 +0000},
    date-modified = {2016-11-11 21:11:10 +0000},
    timestamp = {Sat, 01 Jun 2013 19:18:16 +0200},
    doi = {10.1007/978-3-642-39176-7_6}
}

@inproceedings{DBLP:conf/spin/BabiakBDKS13, Author = {Babiak, Tom{\'{a}}s and Badie, Thomas and Duret{-}Lutz, Alexandre and Kret{\'{\i}}nsk{\'{y}}, Mojm{\'{\i}}r and Strejcek, Jan}, BookTitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings}, Pages = {81--98}, Title = {Compositional Approach to Suspension and Other Improvements to {LTL} Translation}, URL = {http://dx.doi.org/10.1007/978-3-642-39176-7_6}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-39176-7_6}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/spin/BabiakBDKS13}, date-added = {2016-11-11 21:11:10 +0000}, date-modified = {2016-11-11 21:11:10 +0000}, timestamp = {Sat, 01 Jun 2013 19:18:16 +0200}, doi = {10.1007/978-3-642-39176-7_6} }