FlorianHorn.
Streett Games on Finite Graphs.
In GDV'05.
Juillet 2005.
@inproceedings{gdv2005-Horn,
author = {Horn, Florian},
title = {{S}treett Games on Finite Graphs},
editor = {Jurdzi{\'n}ski, Marcin and Majumdar, Rupak},
booktitle = {{P}roceedings of the 2nd {W}orkshop on {G}ames in
{D}esign and {V}erification ({GDV}'05)},
acronym = {{GDV}'05},
year = {2005},
month = jul,
}