TY - GEN
AU - Vardi, Moshe Y.
AU - Moshe Y. Vardi
TI - The Siren Song of Temporal Synthesis (Invited Talk)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Temporal Synthesis
KW - Formal Methods
PY - 2018
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation