Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Search results