Using Propositional Logic for Requirements Verification of Service Workflow (IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012)

(untitled) - Xu, L; Viriyasitavat, W; Ruchikachorn, P; Martin, A