Maarouk, Toufik MessaoudSouidi, Mohammed El HabibHoggas, Nadia2024-02-132024-02-132021-12-311335-9150http://dspace.univ-khenchela.dz:4000/handle/123456789/578enFORMALIZATION AND MODEL CHECKING OF BPMN COLLABORATION DIAGRAMS WITH DD-LOTOSArticle