author = { Vardi, Moshe Y. Moshe Y. Vardi },

title = { The Siren Song of Temporal Synthesis (Invited Talk) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Formal Methods , Temporal Synthesis },

year = {2018},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }