Kees M. van Hee, Hajo A. Reijers. Using Formal Analysis Techniques in Business Process Redesign. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 142-160, Springer, 2000. [doi]
@inproceedings{HeeR00,
title = {Using Formal Analysis Techniques in Business Process Redesign},
author = {Kees M. van Hee and Hajo A. Reijers},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1806/18060142.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/HeeR00},
cites = {0},
citedby = {0},
pages = {142-160},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
editor = {Wil M. P. van der Aalst and Jörg Desel and Andreas Oberweis},
volume = {1806},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67454-3},
}