%0 Conference Paper %1 conf/isola/KauffmanJH16 %A Kauffman, Sean %A Joshi, Rajeev %A Havelund, Klaus %B ISoLA (2) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 394-399 %T Towards a Logic for Inferring Properties of Event Streams. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#KauffmanJH16 %V 9953 %@ 978-3-319-47168-6

@inproceedings{conf/isola/KauffmanJH16, added-at = {2017-09-16T00:00:00.000+0200}, author = {Kauffman, Sean and Joshi, Rajeev and Havelund, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/2535a2b77acb6518df2cbf853305c5aa5/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2016-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47169-3_31}, interhash = {0a60d681e5eb3aef2a98864df40bda52}, intrahash = {535a2b77acb6518df2cbf853305c5aa5}, isbn = {978-3-319-47168-6}, keywords = {dblp}, pages = {394-399}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:42:58.000+0200}, title = {Towards a Logic for Inferring Properties of Event Streams.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#KauffmanJH16}, volume = 9953, year = 2016 }