Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes.

Redouane Bouchekir, Sada Boukhedouma, Mohand Cherif Boukala

Browse the full SIMULTECH paper archive.