Sciweavers

Share
DEBS
2007
ACM

Seamless formal verification of complex event processing applications

11 years 5 months ago
Seamless formal verification of complex event processing applications
AnnMarie Ericsson, Paul Pettersson, Mikael Berndts
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2007
Where DEBS
Authors AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö
Comments (0)
books