@inproceedings{KL07b,
    author      =   "O. Kupferman and Y. Lustig",
    title       =   "Latticed simulation relations and games",
    booktitle   =   atva07,
    series      =   lncs,
    volume      =   "?",
    pages       =   "?",
    publisher   =   springer,
    year        =   2007
}