@inproceedings{AKL11,
    author      =   "B. Aminof and O. Kupferman and R. Lampert", 
    title       =   "Formal Analysis of Online Algorithms", 
    booktitle   =   atva11,
    series      =   lncs,
    volume      =   "?",
    pages       =   "?",
    publisher   =   springer,
    year        =   2011
}