%0 Conference Paper %1 conf/atal/KonikowskaP06 %A Konikowska, Beata %A Penczek, Wojciech %B AAMAS %D 2006 %E Nakashima, Hideyuki %E Wellman, Michael P. %E Weiss, Gerhard %E Stone, Peter %I ACM %K dblp %P 169-176 %T Model checking for multivalued logic of knowledge and time. %U http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#KonikowskaP06 %@ 1-59593-303-4

@inproceedings{conf/atal/KonikowskaP06, added-at = {2019-10-19T00:00:00.000+0200}, author = {Konikowska, Beata and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/28d74ab5f6bacb4a471dfef9c51eb68a8/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2006}, editor = {Nakashima, Hideyuki and Wellman, Michael P. and Weiss, Gerhard and Stone, Peter}, ee = {https://doi.org/10.1145/1160633.1160661}, interhash = {5e2d24f52e5d0c02a45c580e2617073e}, intrahash = {8d74ab5f6bacb4a471dfef9c51eb68a8}, isbn = {1-59593-303-4}, keywords = {dblp}, pages = {169-176}, publisher = {ACM}, timestamp = {2024-04-10T02:26:58.000+0200}, title = {Model checking for multivalued logic of knowledge and time.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#KonikowskaP06}, year = 2006 }