%0 Conference Paper %1 conf/ijcai/BozzelliMM19 %A Bozzelli, Laura %A Maubert, Bastien %A Murano, Aniello %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 1595-1601 %T The Complexity of Model Checking Knowledge and Time. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#BozzelliMM19

@inproceedings{conf/ijcai/BozzelliMM19, added-at = {2022-06-23T00:00:00.000+0200}, author = {Bozzelli, Laura and Maubert, Bastien and Murano, Aniello}, biburl = {https://www.bibsonomy.org/bibtex/278fa05a4e17a8b009af7e5be9f0479fb/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/221}, interhash = {18313ff089733d250fa8a0adcc6a066a}, intrahash = {78fa05a4e17a8b009af7e5be9f0479fb}, keywords = {dblp}, pages = {1595-1601}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:22.000+0200}, title = {The Complexity of Model Checking Knowledge and Time.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#BozzelliMM19}, year = 2019 }