A Formal Verification of the Integration of Activity and Goal-Based Workflows

AuthID
P-00T-1PJ
1
Author(s)
Tipo de Documento
Proceedings Paper
Year published
2020
Publicado
in 2020 IEEE 24TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2020) in IEEE International Enterprise Distributed Object Computing Conference Workshops-EDOCW, ISSN: 2325-6583
Volume: 2020-October, Páginas: 1-10 (10)
Conference
24Th Ieee International Enterprise Distributed Object Computing Conference (Ieee Edoc), Date: OCT 05-08, 2020, Location: ELECTR NETWORK, Patrocinadores: IEEE, IEEE Comp Soc
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85096092739
Wos: WOS:000630251700001
Source Identifiers
ISSN: 2325-6583
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.