bibtex

@inproceedings{BOUCHEKIR2016

author = BOUCHEKIR, Redouane; Boukhedouma, Saida; BOUKALA, Mohand Cherif;
title = Symbolic Probabilistic Analysis and Verification of Interorganizational Workflow;
journal = 0 ;
booktitle = 0 ,
publisher = 0 ,
language = 0 ,
institution = 0 ,
address = Fez, Maroc ,
month = Mars,
year = 2016, }