%0 Conference Paper %1 conf/fsttcs/AlmagorKK15 %A Almagor, Shaull %A Kuperberg, Denis %A Kupferman, Orna %B FSTTCS %D 2015 %E Harsha, Prahladh %E Ramalingam, G. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 380-393 %T The Sensing Cost of Monitoring and Synthesis. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#AlmagorKK15 %V 45 %@ 978-3-939897-97-2

@inproceedings{conf/fsttcs/AlmagorKK15, added-at = {2018-11-30T00:00:00.000+0100}, author = {Almagor, Shaull and Kuperberg, Denis and Kupferman, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2ab57c651d7f44e31e3ee59e0bb2b7a4a/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2015}, editor = {Harsha, Prahladh and Ramalingam, G.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.380}, interhash = {c2a3c9bfbd187ac8ec24af0d0a7341b3}, intrahash = {ab57c651d7f44e31e3ee59e0bb2b7a4a}, isbn = {978-3-939897-97-2}, keywords = {dblp}, pages = {380-393}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:52:05.000+0100}, title = {The Sensing Cost of Monitoring and Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#AlmagorKK15}, volume = 45, year = 2015 }