View of Business Process Verification: The Application of Model Checking and Timed Automata

Return to Article Details Business Process Verification: The Application of Model Checking and Timed Automata Download Download PDF