@inproceedings{DBLP:conf/dagstuhl/KautzTV05,
author = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {05241 Executive Summary - Synthesis and Planning},
booktitle = {Synthesis and Planning},
year = {2005},
ee = {http://drops.dagstuhl.de/opus/volltexte/2006/452},
crossref = {DBLP:conf/dagstuhl/2005P5241},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2005P5241,
editor = {Henry A. Kautz and
Wolfgang Thomas and
Moshe Y. Vardi},
title = {Synthesis and Planning, 12.-17. June 2005},
booktitle = {Synthesis and Planning},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {05241},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-03-23 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
