%0 Conference Paper %1 conf/soda/ChatterjeeAH09 %A Chatterjee, Krishnendu %A de Alfaro, Luca %A Henzinger, Thomas A. %B SODA %D 2009 %E Mathieu, Claire %I SIAM %K dblp %P 197-206 %T Termination criteria for solving concurrent safety and reachability games. %U http://dblp.uni-trier.de/db/conf/soda/soda2009.html#ChatterjeeAH09 %@ 978-1-61197-306-8

@inproceedings{conf/soda/ChatterjeeAH09, added-at = {2023-06-12T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/21a67df536a38be33222d61a3772860d6/dblp}, booktitle = {SODA}, crossref = {conf/soda/2009}, editor = {Mathieu, Claire}, ee = {http://dl.acm.org/citation.cfm?id=1496770.1496793}, interhash = {bd2c1ad8103ef1b7702e3dac51f2d2ea}, intrahash = {1a67df536a38be33222d61a3772860d6}, isbn = {978-1-61197-306-8}, keywords = {dblp}, pages = {197-206}, publisher = {SIAM}, timestamp = {2024-04-09T11:20:54.000+0200}, title = {Termination criteria for solving concurrent safety and reachability games.}, url = {http://dblp.uni-trier.de/db/conf/soda/soda2009.html#ChatterjeeAH09}, year = 2009 }