Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Mario Bravetti Leïla Kloul Gianluigi Zavattaro Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings 3670 2005 3-540-28701-9 EPEW/WS-FM Lecture Notes in Computer Science Springer db/conf/epew/epew2005.html