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

No Thumbnail Available
Files
vieraj,+5503.pdf (809.77 KB)
Date
2021-12-31
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://dspace.univ-khenchela.dz:4000/handle/123456789/578
Collections
scientific publication