%0 Conference Paper %1 1021872 %A Walukiewicz, Igor %B LICS '04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science %C Washington, DC, USA %D 2004 %I IEEE Computer Society %K games survey verification %P 356--366 %R http://dx.doi.org/10.1109/LICS.2004.4 %T A Landscape with Games in the Background %@ 0-7695-2192-4 begin_of_the_skype_highlighting 0-7695-2192-4 end_of_the_skype_highlighting

@inproceedings{1021872, added-at = {2010-05-07T11:33:08.000+0200}, address = {Washington, DC, USA}, author = {Walukiewicz, Igor}, biburl = {https://www.bibsonomy.org/bibtex/2c75b3381f85675ab33f8328051a3b916/giuliano.losa}, booktitle = {LICS '04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science}, doi = {http://dx.doi.org/10.1109/LICS.2004.4}, interhash = {02850e0ad356021e34ffbfd134d294e4}, intrahash = {c75b3381f85675ab33f8328051a3b916}, isbn = {0-7695-2192-4 begin_of_the_skype_highlighting 0-7695-2192-4 end_of_the_skype_highlighting}, keywords = {games survey verification}, pages = {356--366}, publisher = {IEEE Computer Society}, timestamp = {2010-05-07T11:33:08.000+0200}, title = {A Landscape with Games in the Background}, year = 2004 }