Using Propositional Logic for Requirements Verification of Service Workflow
L.D. Xu‚ W. Viriyasitavat‚ P. Ruchikachorn and A. Martin
ISSN
1551−3203
Journal
Industrial Informatics‚ IEEE Transactions on
Number
99
Pages
1
Volume
PP
Year
2012
L.D. Xu‚ W. Viriyasitavat‚ P. Ruchikachorn and A. Martin