Items where Author is "Bocchi, Laura"
Jump to: Article Number of items: 1. ArticleBocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009) |