Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

Elham Ramezani, Natalia Sidorova, Christian Stahl. Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers. Volume 8161 of Lecture Notes in Computer Science, pages 150-167, Springer, 2013. [doi]

Authors

Elham Ramezani

This author has not been identified. Look up 'Elham Ramezani' in Google

Natalia Sidorova

This author has not been identified. It may be one of the following persons: Look up 'Natalia Sidorova' in Google

Christian Stahl

This author has not been identified. Look up 'Christian Stahl' in Google