%0 Conference Paper %1 conf/concur/GuzmanKQRRV19 %A Guzmán, Michell %A Knight, Sophia %A Quintero, Santiago %A Ramírez, Sergio %A Rueda, Camilo %A Valencia, Frank %B CONCUR %D 2019 %E Fokkink, Wan J. %E van Glabbeek, Rob %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 29:1-29:15 %T Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. %U http://dblp.uni-trier.de/db/conf/concur/concur2019.html#GuzmanKQRRV19 %V 140 %@ 978-3-95977-121-4

@inproceedings{conf/concur/GuzmanKQRRV19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Guzmán, Michell and Knight, Sophia and Quintero, Santiago and Ramírez, Sergio and Rueda, Camilo and Valencia, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2c8e505dbe4f513dfe0d77e6a109fff31/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2019}, editor = {Fokkink, Wan J. and van Glabbeek, Rob}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.29}, interhash = {4db5bdc51d90bffd50b67fa4a93f34a8}, intrahash = {c8e505dbe4f513dfe0d77e6a109fff31}, isbn = {978-3-95977-121-4}, keywords = {dblp}, pages = {29:1-29:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:47:46.000+0200}, title = {Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2019.html#GuzmanKQRRV19}, volume = 140, year = 2019 }