%0 Conference Paper %1 conf/qest/Vardi12 %A Vardi, Moshe Y. %B QEST %D 2012 %I IEEE Computer Society %K dblp %P 1 %T Compositional Temporal Synthesis. %U http://dblp.uni-trier.de/db/conf/qest/qest2012.html#Vardi12 %@ 978-1-4673-2346-8

@inproceedings{conf/qest/Vardi12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2e460bd4d7bf3daabb73a0c03dd87b580/dblp}, booktitle = {QEST}, crossref = {conf/qest/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2012.39}, interhash = {7e663d27ee5b7ed9e89c8f15931664e6}, intrahash = {e460bd4d7bf3daabb73a0c03dd87b580}, isbn = {978-1-4673-2346-8}, keywords = {dblp}, pages = 1, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:53:24.000+0200}, title = {Compositional Temporal Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2012.html#Vardi12}, year = 2012 }