Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker. The ProC/B Toolset for the Modelling and Analysis of Process Chains. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 51-70, Springer, 2002. [doi]
@inproceedings{BauseBFKV02,
title = {The ProC/B Toolset for the Modelling and Analysis of Process Chains},
author = {Falko Bause and Heinz Beilner and Markus Fischer and Peter Kemper and Markus Völker},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2324&spage=0051},
tags = {analysis, process modeling},
researchr = {https://researchr.org/publication/BauseBFKV02},
cites = {0},
citedby = {0},
pages = {51-70},
booktitle = {Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings},
editor = {Tony Field and Peter G. Harrison and Jeremy T. Bradley and Uli Harder},
volume = {2324},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43539-5},
}