LTL Model Cheking of Service-Based Business Processes in the Cloud.

Kais Klai, Hanen Ochi

Browse the full COMPSAC paper archive.