Graph Games with Reachability Objectives (bibtex)
by Krishnendu Chatterjee
Reference:
Graph Games with Reachability ObjectivesKrishnendu ChatterjeeRP, pages 1, 2011.
Bibtex Entry:
@inproceedings{Cha11,
title = {Graph Games with Reachability Objectives},
ee = {http://dx.doi.org/10.1007/978-3-642-24288-5_1},
booktitle = {RP},
author = {Krishnendu Chatterjee},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {1},
crossref = {DBLP:conf/rp/2011},
}
Powered by bibtexbrowser