YAWL2DVE: An Automated Translator for Workflow Verification Conferences

authors

• Rabbi, Fazle
• Wang, Hao
• MacCaull, Wendy

status

• published 

publication date

• 2010

published in

• 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement  Journal

presented at event

• 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement  Conference

keywords

• 46 Information and Computing Sciences
• 4606 Distributed Computing and Systems Software
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1109/ssiri.2010.31

start page

• 53

end page

• 59