%0 Conference Paper %1 conf/concur/WangHY11 %A Wang, Farn %A Huang, Chung-Hao %A Yu, Fang %B CONCUR %D 2011 %E Katoen, Joost-Pieter %E König, Barbara %I Springer %K dblp %P 466-481 %T A Temporal Logic for the Interaction of Strategies. %U http://dblp.uni-trier.de/db/conf/concur/concur2011.html#WangHY11 %V 6901 %@ 978-3-642-23216-9

@inproceedings{conf/concur/WangHY11, added-at = {2021-12-23T00:00:00.000+0100}, author = {Wang, Farn and Huang, Chung-Hao and Yu, Fang}, biburl = {https://www.bibsonomy.org/bibtex/27e118918fbb07537750ce85be1d6a0ff/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2011}, editor = {Katoen, Joost-Pieter and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-23217-6_31}, interhash = {a31baa5f039c19ee0bdbbbaec179bdf2}, intrahash = {7e118918fbb07537750ce85be1d6a0ff}, isbn = {978-3-642-23216-9}, keywords = {dblp}, pages = {466-481}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:06:29.000+0200}, title = {A Temporal Logic for the Interaction of Strategies.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2011.html#WangHY11}, volume = 6901, year = 2011 }