Marco Seiriö

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö
Seamless formal verification of complex event processing applications. DEBS (2007)
Marco Seiriö, Mikael Berndtsson
Design and Implementation of an ECA Rule Markup Language. RuleML (2005)