%0 Conference Paper %1 conf/atal/KacprzakP04 %A Kacprzak, Magdalena %A Penczek, Wojciech %B AAMAS %D 2004 %I IEEE Computer Society %K dblp %P 646-653 %T Unbounded Model Checking for Alternating-Time Temporal Logic. %U http://dblp.uni-trier.de/db/conf/atal/aamas2004.html#KacprzakP04 %@ 1-58113-864-4

@inproceedings{conf/atal/KacprzakP04, added-at = {2019-06-18T00:00:00.000+0200}, author = {Kacprzak, Magdalena and Penczek, Wojciech}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27fb3ccdb6b4ecac506b9388b43efa795/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2004}, ee = {http://dl.acm.org/citation.cfm?id=1018813}, interhash = {873a7ced9dfb590a38226f0f676c56e0}, intrahash = {7fb3ccdb6b4ecac506b9388b43efa795}, isbn = {1-58113-864-4}, keywords = {dblp}, pages = {646-653}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:53:51.000+0200}, title = {Unbounded Model Checking for Alternating-Time Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2004.html#KacprzakP04}, year = 2004 }