| Filename: | Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, W by Peter Harrison (auth.) Mario Bravetti Leïla Kloul Gianluigi Zavattaro (eds.).pdf |
