Conference proceedings.
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, Versaill. ISBN 9783540287018. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.