Applying Propositional Logic to Workflow Verification

Author: Bi Henry H.   Zhao J. Leon  

Publisher: Springer Publishing Company

ISSN: 1385-951X

Source: Information Technology and Management, Vol.5, Iss.3-4, 2004-07, pp. : 293-318

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract