Login / Signup

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

Falko BauseHeinz BeilnerMarkus FischerPeter KemperMarkus Völker
Published in: Computer Performance Evaluation / TOOLS (2002)
Keyphrases