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
European Performance Engineering Workshop
Bok Engelsk 2005