Logic based modeling and analysis of workflows

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

132 Scopus citations

Fingerprint

Dive into the research topics of 'Logic based modeling and analysis of workflows'. Together they form a unique fingerprint.

Engineering & Materials Science