Scholars@ODU
Scholars@odu
Browse
Browse
Home
People
Organizations
Research
Events
Capability Map
FAQ
R. Ruchikachorn
Visualizations
Co-author Network
Map of Science
R. Ruchikachorn
Publications
Publications
Selected Publications
Articles In Academic Journals
Filter
Year
Title
2012
Using Propositional Logic for Requirements Verification of Service Workflow
.
IEEE Transactions on Industrial Informatics
. 639-646.