%0 Journal Article %1 journals/jair/SrivastavaK98 %A Srivastava, Biplav %A Kambhampati, Subbarao %D 1998 %J J. Artif. Intell. Res. %K dblp %P 93-128 %T Synthesizing Customized Planners from Specifications. %U http://dblp.uni-trier.de/db/journals/jair/jair8.html#SrivastavaK98 %V 8

@article{journals/jair/SrivastavaK98, added-at = {2017-06-21T00:00:00.000+0200}, author = {Srivastava, Biplav and Kambhampati, Subbarao}, biburl = {https://www.bibsonomy.org/bibtex/2e3dbc2b88c605f084f09894dd862a554/dblp}, ee = {https://doi.org/10.1613/jair.428}, interhash = {fdbfe1e8bbef9213820da085cf217dc2}, intrahash = {e3dbc2b88c605f084f09894dd862a554}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {93-128}, timestamp = {2017-06-22T11:37:34.000+0200}, title = {Synthesizing Customized Planners from Specifications.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair8.html#SrivastavaK98}, volume = 8, year = 1998 }