Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{deAlfaro:1998:CRG, author = "L. de Alfaro and T. A. Henzinger and O. Kupferman", title = "Concurrent reachability games", crossref = "IEEE:1998:ASF", pages = "564--575", year = "1998", bibdate = "Thu Apr 5 06:13:53 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }