Mario Bravetti

{PDF} 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 Peter Harrison (auth.), Mario Bravetti, Le?la Kloul, Gianluigi Zavattaro (eds.)