@inbook{6d40cee169a542afa9569d69cd11eaa5,
title = "Using formal analysis techniques in busines process redesign",
abstract = "Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis techniques by giving an outline on the subject first. Next, a specific, newly developed formal technique is discussed.",
author = "H.A. Reijers and {Hee, van}, K.M.",
year = "2000",
doi = "10.1007/3-540-45594-9_10",
language = "English",
isbn = "3-540-67454-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "142--160",
editor = "{Aalst, van der}, W.M.P. and A. Oberweis",
booktitle = "Business Process Management : Models, Techniques, and Empirical Studies",
address = "Germany",
}