Artur Godlinski

Publication Activity (10 Years)

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

Publications

Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. IEEE SCC (2007)