Inproceedings,
Quantitative solution of omega-regular games.
L. de Alfaro, and R. Majumdar.STOC, page 675-683. ACM, (2001)
Meta data
- BibTeX key
- conf/stoc/AlfaroM01
- entry type
- inproceedings
- booktitle
- STOC
- year
- 2001
- pages
- 675-683
- publisher
- ACM
- crossref
- conf/stoc/2001
- ee
- https://doi.org/10.1145/380752.380871
- isbn
- 1-58113-349-9
- url
- http://dblp.uni-trier.de/db/conf/stoc/stoc2001.html#AlfaroM01
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/stoc/AlfaroM01
%A de Alfaro, Luca
%A Majumdar, Rupak
%B STOC
%D 2001
%E Vitter, Jeffrey Scott
%E Spirakis, Paul G.
%E Yannakakis, Mihalis
%I ACM
%K dblp
%P 675-683
%T Quantitative solution of omega-regular games.
%U http://dblp.uni-trier.de/db/conf/stoc/stoc2001.html#AlfaroM01
%@ 1-58113-349-9
@inproceedings{conf/stoc/AlfaroM01,
added-at = {2018-11-06T00:00:00.000+0100},
author = {de Alfaro, Luca and Majumdar, Rupak},
biburl = {https://www.bibsonomy.org/bibtex/2bbd48cb65b5b82b01493ef8160c25d3f/dblp},
booktitle = {STOC},
crossref = {conf/stoc/2001},
editor = {Vitter, Jeffrey Scott and Spirakis, Paul G. and Yannakakis, Mihalis},
ee = {https://doi.org/10.1145/380752.380871},
interhash = {d8a22dac5b9d68cd061cc705334bfff0},
intrahash = {bbd48cb65b5b82b01493ef8160c25d3f},
isbn = {1-58113-349-9},
keywords = {dblp},
pages = {675-683},
publisher = {ACM},
timestamp = {2018-11-07T16:09:32.000+0100},
title = {Quantitative solution of omega-regular games.},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc2001.html#AlfaroM01},
year = 2001
}