@inproceedings{1348035,
    Author = {Chatterjee, K. and de Alfaro, L. and Henzinger, T. A.},
    BookTitle = {Proc. of QEST'14},
    File = {Trading memory for randomness - Chatterjee, Alfaro, Henzinger (0) (0) - a - a - a.pdf},
    Month = {Sept},
    Pages = {206--217},
    Title = {Trading memory for randomness},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2004.1348035},
    date-added = {2014-06-11 09:31:08 +0000},
    date-modified = {2019-01-18 15:33:57 +0100},
    doi = {10.1109/QEST.2004.1348035}
}

@inproceedings{1348035, Author = {Chatterjee, K. and de Alfaro, L. and Henzinger, T. A.}, BookTitle = {Proc. of QEST'14}, File = {Trading memory for randomness - Chatterjee, Alfaro, Henzinger (0) (0) - a - a - a.pdf}, Month = {Sept}, Pages = {206--217}, Title = {Trading memory for randomness}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2004.1348035}, date-added = {2014-06-11 09:31:08 +0000}, date-modified = {2019-01-18 15:33:57 +0100}, doi = {10.1109/QEST.2004.1348035} }