Verification of unstructured workflows via propositional logic

Qianhui Althea Liang, J. Leon Zhao

Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verification of unstructured workflows via propositional logic'. Together they form a unique fingerprint.

Computer Science