@inproceedings{dAHK98,
        author    =     "L. de Alfaro and T.A. Henzinger and O. Kupferman",
        title     =     "Concurrent Reachability Games",
        booktitle =     "Proc. 39th {IEEE} Symposium
                         on Foundations of Computer Science", 
        address   =     "California",
        month     =     "October",
        year      =      1998
}