%0 Conference Paper %1 conf/eumas/JamrogaD06 %A Jamroga, Wojciech %A Dix, Jürgen %B EUMAS %D 2006 %E Dunin-Keplicz, Barbara %E Omicini, Andrea %E Padget, Julian A. %I CEUR-WS.org %K dblp %T Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. %U http://dblp.uni-trier.de/db/conf/eumas/eumas2006.html#JamrogaD06 %V 223

@inproceedings{conf/eumas/JamrogaD06, added-at = {2023-03-10T00:00:00.000+0100}, author = {Jamroga, Wojciech and Dix, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2da0e0f5810ab776446dc68b604621fd7/dblp}, booktitle = {EUMAS}, crossref = {conf/eumas/2006}, editor = {Dunin-Keplicz, Barbara and Omicini, Andrea and Padget, Julian A.}, ee = {https://ceur-ws.org/Vol-223/66.pdf}, interhash = {bc2bb26db424ba3d2782cf325fa4a8c0}, intrahash = {da0e0f5810ab776446dc68b604621fd7}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:51:43.000+0200}, title = {Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.}, url = {http://dblp.uni-trier.de/db/conf/eumas/eumas2006.html#JamrogaD06}, volume = 223, year = 2006 }