Modeling flexible workflow based on temporal logic.

Yi Duan, Huadong Ma

Browse the full CSCWD paper archive.