Dagstuhl Seminar Proceedings: Synthesis and Planning 2005

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi (Eds.): Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning.
Electronic Edition (link) BibTeX
Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning.
Electronic Edition (link) BibTeX