Temporal Logic Based Workflow Service Modeling and Its Application.

Huadong Ma

Browse the full CSCWD paper archive.