%0 Conference Paper %1 conf/concur/Vardi18 %A Vardi, Moshe Y. %B CONCUR %D 2018 %E Schewe, Sven %E Zhang, Lijun %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 1:1-1:1 %T The Siren Song of Temporal Synthesis (Invited Talk). %U http://dblp.uni-trier.de/db/conf/concur/concur2018.html#Vardi18 %V 118 %@ 978-3-95977-087-3

@inproceedings{conf/concur/Vardi18, added-at = {2019-05-02T00:00:00.000+0200}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2eef4376c5c55340a0893166559aee6f7/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2018}, editor = {Schewe, Sven and Zhang, Lijun}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.1}, interhash = {6f44ff1f782ee3e390dffce1b9fa5185}, intrahash = {eef4376c5c55340a0893166559aee6f7}, isbn = {978-3-95977-087-3}, keywords = {dblp}, pages = {1:1-1:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:39.000+0100}, title = {The Siren Song of Temporal Synthesis (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2018.html#Vardi18}, volume = 118, year = 2018 }