A Verification Method for Temporal Consistency of Service Flow.

Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao

Browse the full COMPSAC paper archive.