@inproceedings{VandenBoom:MFCS:2011,
    Author = {{Vanden Boom}, Michael},
    BookTitle = {Proc. of MFCS'11},
    File = {Weak Cost Monadic Logic over Infinite Trees - MFCS11 - a - a - a - f.pdf},
    Pages = {580--591},
    Title = {Weak Cost Monadic Logic over Infinite Trees},
    Year = {2011},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-642-22993-0\_52},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/bib/conf/mfcs/Boom11},
    date-added = {2020-02-03 17:24:39 +0100},
    date-modified = {2020-02-03 17:25:01 +0100},
    timestamp = {Thu, 25 May 2017 00:43:01 +0200},
    doi = {10.1007/978-3-642-22993-0_52}
}

@inproceedings{VandenBoom:MFCS:2011, Author = {{Vanden Boom}, Michael}, BookTitle = {Proc. of MFCS'11}, File = {Weak Cost Monadic Logic over Infinite Trees - MFCS11 - a - a - a - f.pdf}, Pages = {580--591}, Title = {Weak Cost Monadic Logic over Infinite Trees}, Year = {2011}, bdsk-url-1 = {https://doi.org/10.1007/978-3-642-22993-0_52}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/bib/conf/mfcs/Boom11}, date-added = {2020-02-03 17:24:39 +0100}, date-modified = {2020-02-03 17:25:01 +0100}, timestamp = {Thu, 25 May 2017 00:43:01 +0200}, doi = {10.1007/978-3-642-22993-0_52} }