%0 Journal Article %1 journals/ai/CimattiPRT03 %A Cimatti, Alessandro %A Pistore, Marco %A Roveri, Marco %A Traverso, Paolo %D 2003 %J Artif. Intell. %K checking model planning symbolic %N 1-2 %P 35-84 %T Weak, strong, and strong cyclic planning via symbolic model checking. %U http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03 %V 147

@article{journals/ai/CimattiPRT03, added-at = {2012-01-17T17:30:46.000+0100}, author = {Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/alessandropinto}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0}, interhash = {0be3b1e586fc3003cb05175b0a462f12}, intrahash = {03d6615beefd37e8b0b33fa917ddb348}, journal = {Artif. Intell.}, keywords = {checking model planning symbolic}, number = {1-2}, pages = {35-84}, timestamp = {2012-01-17T17:30:46.000+0100}, title = {Weak, strong, and strong cyclic planning via symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03}, volume = 147, year = 2003 }