%0 Generic
%T The Siren Song of Temporal Synthesis (Invited Talk)
%A Vardi, Moshe Y.
%A Moshe Y. Vardi
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Temporal Synthesis
%K Formal Methods
%D 2018
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation