José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen. Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundamenta Informaticae, 140(1):89-121, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.