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

AuthID
 P-00T-1PJ
1
Author(s)
Document Type
Proceedings Paper
Year published
2020
Published
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, Pages: 1-10 (10)
Conference
24Th Ieee International Enterprise Distributed Object Computing Conference (Ieee Edoc), Date: OCT 05-08, 2020, Location: ELECTR NETWORK, Sponsors: IEEE, IEEE Comp Soc
Indexing
Wos®
Scopus®
Crossref®
Google Scholar®
Publication Identifiers
SCOPUS: 2-s2.0-85096092739
Wos: WOS:000630251700001
Source Identifiers
ISSN: 2325-6583
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service