%0 Conference Paper %1 conf/formats/HenzingerP06 %A Henzinger, Thomas A. %A Prabhu, Vinayak S. %B FORMATS %D 2006 %E Asarin, Eugene %E Bouyer, Patricia %I Springer %K dblp %P 1-17 %T Timed Alternating-Time Temporal Logic. %U http://dblp.uni-trier.de/db/conf/formats/formats2006.html#HenzingerP06 %V 4202 %@ 3-540-45026-2

@inproceedings{conf/formats/HenzingerP06, added-at = {2017-05-26T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Prabhu, Vinayak S.}, biburl = {https://www.bibsonomy.org/bibtex/2c0069b5ac412c6491ba95242e88098a3/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2006}, editor = {Asarin, Eugene and Bouyer, Patricia}, ee = {https://doi.org/10.1007/11867340_1}, interhash = {5e63e9d74c6c330a320e9bc8845675da}, intrahash = {c0069b5ac412c6491ba95242e88098a3}, isbn = {3-540-45026-2}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:26.000+0200}, title = {Timed Alternating-Time Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2006.html#HenzingerP06}, volume = 4202, year = 2006 }