Marco Seiriö

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61

2005

1 Marco Seiriö, Mikael Berndtsson: Design and Implementation of an ECA Rule Markup Language. RuleML 2005: 98-112

	2007
2		AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö: Seamless formal verification of complex event processing applications. DEBS 2007: 50-61
	2005
1		Marco Seiriö, Mikael Berndtsson: Design and Implementation of an ECA Rule Markup Language. RuleML 2005: 98-112

Coauthor Index