Carlos Müller, Manuel Resinas, Antonio Ruiz Cortés. Using Automated Analysis of Temporal-Aware SLAs in Logistics. In Asit Dan, Frederic Gittler, Farouk Toumani, editors, Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers. Volume 6275 of Lecture Notes in Computer Science, pages 156-164, 2009.
Abstract is missing.