%0 Conference Paper %1 conf/cav/Finkbeiner0PS19 %A Finkbeiner, Bernd %A Klein, Felix %A Piskac, Ruzica %A Santolucito, Mark %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 609-629 %T Temporal Stream Logic: Synthesis Beyond the Bools. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#Finkbeiner0PS19 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/Finkbeiner0PS19, added-at = {2022-06-23T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Klein, Felix and Piskac, Ruzica and Santolucito, Mark}, biburl = {https://www.bibsonomy.org/bibtex/28b3e9018e0df881c071e1867bf1f413c/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_35}, interhash = {7118fb0ec91afcc3feb43f32a0c129be}, intrahash = {8b3e9018e0df881c071e1867bf1f413c}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {609-629}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:53:43.000+0200}, title = {Temporal Stream Logic: Synthesis Beyond the Bools.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#Finkbeiner0PS19}, volume = 11561, year = 2019 }