Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes release_3ih3z47wkvctjdvopvdrawwoxy

by Kais Klai, Samir Tata, Jörg Desel

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2009   p294-309

Archived Files and Locations

application/pdf  234.3 kB
file_z7ghi6xsbfhbdmxrxhfkjvj47e
www.fernuni-hagen.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2009
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: 4591fef2-d6e3-4a87-b799-5d9bcb63b354
API URL: JSON