@inbook{deec7497aa8d43c98ce6cd77c2137985,
title = "Semantic verification of business process models: prospects and limitations",
author = "Michael Fellmann and Oliver Thomas and Frank Hogrebe",
year = "2012",
language = "English",
isbn = "978-1-609-60126-3",
pages = "150--168",
editor = "Stefan Smolnik and Frank Teuteberg and Thomas, {Oliver }",
booktitle = "Semantic technologies for business and information systems engineering",
publisher = "Business Science Reference",
}
