Doina Bucur

dr.

20062019
If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

Filter
Paper
2013
20 Citations (Scopus)

A survey of formal business process verification: From soundness to variability

Groefsema, H. & Bucur, D., 2013. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review