Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Using Propositional Logic for Requirements Verification of Service Workflow

Using Propositional Logic for Requirements Verification of Service Workflow http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png IEEE Transactions on Industrial Informatics CrossRef

Using Propositional Logic for Requirements Verification of Service Workflow

Xu, Li Da; Viriyasitavat, Wattana; Ruchikachorn, Puripan; Martin, Andrew
IEEE Transactions on Industrial Informatics , Volume 8 (3): 639-646 – Aug 1, 2012
Download PDF
Loading next page...
 
/lp/crossref/using-propositional-logic-for-requirements-verification-of-service-yrv3nRm3Ul

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
CrossRef
ISSN
1551-3203
DOI
10.1109/tii.2012.2187908
Publisher site
See Article on Publisher Site

Abstract

Journal

IEEE Transactions on Industrial Informatics – CrossRef

Published: Aug 1, 2012

There are no references for this article.