bibtex

@inproceedings{BOUCHEKIR2016

author = BOUCHEKIR, Redouane; Boukhedouma, Saida; BOUKALA, Mohand Cherif;
title = Automatic Compositional Verification of Probabilistic Safety Properties for Interorganisational Workflow Processes;
journal = 0 ;
booktitle = 0 ,
publisher = 0 ,
language = 0 ,
institution = 0 ,
address = Lisbone, Portugal ,
month = Juillet,
year = 2016, }