FORMALIZATION AND MODEL CHECKING OF BPMN COLLABORATION DIAGRAMS WITH DD-LOTOS

Simple item page
dc.contributor.authorMaarouk, Toufik Messaoud
dc.contributor.authorSouidi, Mohammed El Habib
dc.contributor.authorHoggas, Nadia
dc.date.accessioned2024-02-13T05:16:56Z
dc.date.available2024-02-13T05:16:56Z
dc.date.issued2021-12-31
dc.identifier.issn1335-9150
dc.identifier.urihttp://dspace.univ-khenchela.dz:4000/handle/123456789/578
dc.language.isoen
dc.relation.ispartofseries40; 5
dc.titleFORMALIZATION AND MODEL CHECKING OF BPMN COLLABORATION DIAGRAMS WITH DD-LOTOS
dc.typeArticle
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
vieraj,+5503.pdf
Size:
809.77 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
scientific publication