AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö. Seamless formal verification of complex event processing applications. In Hans-Arno Jacobsen, Gero Mühl, Michael A. Jaeger, editors, Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, DEBS 2007, Toronto, Ontario, Canada, June 20-22, 2007. Volume 233 of ACM International Conference Proceeding Series, pages 50-61, ACM, 2007. [doi]
Abstract is missing.