%0 Conference Paper %1 conf/isola/ColomboPCDFGMSA16 %A Colombo, Christian %A Pace, Gordon J. %A Camilleri, Luke %A Dimech, Claire %A Farrugia, Reuben A. %A Grech, Jean-Paul %A Magro, Alessio %A Sammut, Andrew C. %A Adami, Kristian Zarb %B ISoLA (2) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 400-406 %T Runtime Verification for Stream Processing Applications. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#ColomboPCDFGMSA16 %V 9953 %@ 978-3-319-47168-6

@inproceedings{conf/isola/ColomboPCDFGMSA16, added-at = {2021-06-12T00:00:00.000+0200}, author = {Colombo, Christian and Pace, Gordon J. and Camilleri, Luke and Dimech, Claire and Farrugia, Reuben A. and Grech, Jean-Paul and Magro, Alessio and Sammut, Andrew C. and Adami, Kristian Zarb}, biburl = {https://www.bibsonomy.org/bibtex/25ebae3a2a63ac578d72da310a9c5335c/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_32}, interhash = {f2576d6f60c74ef37e5798143024c7a1}, intrahash = {5ebae3a2a63ac578d72da310a9c5335c}, isbn = {978-3-319-47168-6}, keywords = {dblp}, pages = {400-406}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:17:00.000+0200}, title = {Runtime Verification for Stream Processing Applications.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#ColomboPCDFGMSA16}, volume = 9953, year = 2016 }