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

Heerko Groefsema, Doina Bucur

Research output: Contribution to conferencePaperAcademicpeer-review

24 Citations (Scopus)
Original languageEnglish
Number of pages6
Publication statusPublished - 2013
Externally publishedYes
EventThird International Symposium on Business Modeling and Software Design 2013 - NH Conference Centre Leeuwenhorst , Noordwijkerhout, Netherlands
Duration: 8 Jul 201310 Jul 2013
Conference number: 3
http://www.is-bmsd.org/BMSD2013/

Conference

ConferenceThird International Symposium on Business Modeling and Software Design 2013
Abbreviated titleBMSD 2013
CountryNetherlands
CityNoordwijkerhout
Period8/07/1310/07/13
Internet address

Cite this