Qualitative concurrent parity games (bibtex)
by K. Chatterjee, L. de Alfaro, T. Henzinger
Reference:
Qualitative concurrent parity gamesK. Chatterjee, L. de Alfaro, T. HenzingerACM Trans. Comput. Log., volume 12, number 4, pages 28, 2011.
Bibtex Entry:
@article{CDH11,
title = {Qualitative concurrent parity games},
ee = {http://doi.acm.org/10.1145/1970398.1970404},
journal = {ACM Trans. Comput. Log.},
author = {K. Chatterjee and L. de Alfaro and T. Henzinger},
number = {4},
volume = {12},
url = {/pubpdf/Qualitative_concurrent_parity_games.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {28},
}
Powered by bibtexbrowser