%0 Conference Paper %1 conf/sofsem/BeckDE18 %A Beck, Harald %A Dao-Tran, Minh %A Eiter, Thomas %B SOFSEM %D 2018 %E Tjoa, A Min %E Bellatreche, Ladjel %E Biffl, Stefan %E van Leeuwen, Jan %E Wiedermann, Jirí %I Springer %K dblp %P 87-93 %T LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2018.html#BeckDE18 %V 10706 %@ 978-3-319-73117-9

@inproceedings{conf/sofsem/BeckDE18, added-at = {2018-01-12T00:00:00.000+0100}, author = {Beck, Harald and Dao-Tran, Minh and Eiter, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2e88933af8143137b94971cff1413dee6/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2018}, editor = {Tjoa, A Min and Bellatreche, Ladjel and Biffl, Stefan and van Leeuwen, Jan and Wiedermann, Jirí}, ee = {https://doi.org/10.1007/978-3-319-73117-9_6}, interhash = {cd1d65f3c19d784b6c0f7d2e625a157b}, intrahash = {e88933af8143137b94971cff1413dee6}, isbn = {978-3-319-73117-9}, keywords = {dblp}, pages = {87-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:18:47.000+0200}, title = {LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2018.html#BeckDE18}, volume = 10706, year = 2018 }