%0 Conference Paper %1 conf/rv/Vazquez-Chanlatte18 %A Vazquez-Chanlatte, Marcell %A Ghosh, Shromona %A Deshmukh, Jyotirmoy V. %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B RV %D 2018 %E Colombo, Christian %E Leucker, Martin %I Springer %K dblp %P 389-405 %T Time-Series Learning Using Monotonic Logical Properties. %U http://dblp.uni-trier.de/db/conf/rv/rv2018.html#Vazquez-Chanlatte18 %V 11237 %@ 978-3-030-03769-7

@inproceedings{conf/rv/Vazquez-Chanlatte18, added-at = {2018-11-09T00:00:00.000+0100}, author = {Vazquez-Chanlatte, Marcell and Ghosh, Shromona and Deshmukh, Jyotirmoy V. and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2e5ca55fad50e03a84ee91d854ce14717/dblp}, booktitle = {RV}, crossref = {conf/rv/2018}, editor = {Colombo, Christian and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-030-03769-7_22}, interhash = {fe9a737236170de887f8839ea980ad35}, intrahash = {e5ca55fad50e03a84ee91d854ce14717}, isbn = {978-3-030-03769-7}, keywords = {dblp}, pages = {389-405}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:55:50.000+0200}, title = {Time-Series Learning Using Monotonic Logical Properties.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2018.html#Vazquez-Chanlatte18}, volume = 11237, year = 2018 }