Publication
VLDB J., January 2013
@inproceedings{abc, author = {Nihal Dindar and Nesime Tatbul and Ren{\'e}e J. Miller and Laura M. Haas and Irina Botan}, booktitle = {VLDB J.}, title = {Modeling the execution semantics of stream processing engines with SECRET.}, url = {http://dx.doi.org/10.1007/s00778-012-0297-3}, year = {2013} }