Selected Publications

Articles In Academic Journals

Year Title
2012 Using Propositional Logic for Requirements Verification of Service WorkflowIEEE Transactions on Industrial Informatics. 639-646.