Pubblicazioni

Bernardo, Marco; Padovani, Luca, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in: Proceedings of the 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), DEU, Springer, 2007, LNCS 4468, pp. 269 - 284 (atti di: 9th IFIP international conference on formal methods for open object-based distributed systems (FMOODS’07), Cyprus, June 6-8 2007) [Contributo in Atti di convegno]