Automated Verification of BPMN Workflows Through Promela and LTL Properties
Year: 2025
Type: conference-paper
Author: Sandeep Voona
Institution: ServiceNow (United States)
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: closed
OpenAlex ID: W4414405080
FWCI:
Cites:
Cited by:
Related to: