%0 Journal Article %1 journals/jetai/KatzR93 %A Katz, Matthew J. %A Rosenschein, Jeffrey S. %D 1993 %J J. Exp. Theor. Artif. Intell. %K dblp %N 1 %P 39-56 %T Verifying plans for multiple agents. %U http://dblp.uni-trier.de/db/journals/jetai/jetai5.html#KatzR93 %V 5

@article{journals/jetai/KatzR93, added-at = {2012-02-15T00:00:00.000+0100}, author = {Katz, Matthew J. and Rosenschein, Jeffrey S.}, biburl = {https://www.bibsonomy.org/bibtex/2b542f61c68399343090f7679f5f2d883/dblp}, ee = {http://dx.doi.org/10.1080/09528139308953757}, interhash = {6031c754699b74d76ca3de25792a03ac}, intrahash = {b542f61c68399343090f7679f5f2d883}, journal = {J. Exp. Theor. Artif. Intell.}, keywords = {dblp}, number = 1, pages = {39-56}, timestamp = {2012-02-16T11:32:29.000+0100}, title = {Verifying plans for multiple agents.}, url = {http://dblp.uni-trier.de/db/journals/jetai/jetai5.html#KatzR93}, volume = 5, year = 1993 }