Using Automated Analysis of Temporal-Aware SLAs in Logistics.

Carlos Mller, Manuel Resinas, Antonio Ruiz Corts

Browse the full ICSOC paper archive.