Sciweavers

11561 search results - page 204 / 2313
» Open Distributed Processing
Sort
View
DEBS
2007
ACM
15 years 10 months ago
Seamless formal verification of complex event processing applications
AnnMarie Ericsson, Paul Pettersson, Mikael Berndts...