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]
Abstract is missing.