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

Heerko Groefsema, Doina Bucur

Research output: Contribution to conference › Paper › Academic › peer-review

Original language	English
Number of pages	6
Publication status	Published - 2013
Externally published	Yes
Event	Third International Symposium on Business Modeling and Software Design 2013 - NH Conference Centre Leeuwenhorst , Noordwijkerhout, Netherlands Duration: 8 Jul 2013 → 10 Jul 2013 Conference number: 3 http://www.is-bmsd.org/BMSD2013/

Conference	Third International Symposium on Business Modeling and Software Design 2013
Abbreviated title	BMSD 2013
Country	Netherlands
City	Noordwijkerhout
Period	8/07/13 → 10/07/13
Internet address	http://www.is-bmsd.org/BMSD2013/

Cite this

@conference{bd1ce913d0874917a4165609bf81447a,

title = "A survey of formal business process verification: From soundness to variability",

author = "Heerko Groefsema and Doina Bucur",

year = "2013",

language = "English",

note = "Third International Symposium on Business Modeling and Software Design 2013, BMSD 2013 ; Conference date: 08-07-2013 Through 10-07-2013",

url = "http://www.is-bmsd.org/BMSD2013/",

}