WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition release_yruvd2b6zzcfzjhnykllodp2vy

by Petros Papapanagiotou, Jacques Fleuriot

Published in Lecture Notes in Computer Science by Springer International Publishing.

2017   p357-370

Archived Files and Locations

application/pdf  492.2 kB
file_beemunolfjdqlg4buouc4mkxju
www.pure.ed.ac.uk (web)
web.archive.org (webarchive)
application/pdf  492.2 kB
file_larouh764fejnjbnfkmbubj5ei
web.archive.org (webarchive)
www.research.ed.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2017
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ebf4e3f0-f582-417a-9747-bd38fa7ff2ff
API URL: JSON