Model checking des diagrammes de collaboration BPMN

No Thumbnail Available
Date
2021
Journal Title
Journal ISSN
Volume Title
Publisher