The ProC/B Toolset for the Modelling and Analysis of Process Chains

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]

Authors

Falko Bause

This author has not been identified. Look up 'Falko Bause' in Google

Heinz Beilner

This author has not been identified. Look up 'Heinz Beilner' in Google

Markus Fischer

This author has not been identified. Look up 'Markus Fischer' in Google

Peter Kemper

This author has not been identified. Look up 'Peter Kemper' in Google

Markus Völker

This author has not been identified. Look up 'Markus Völker' in Google