Skip to main content

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

Posted in
TitleModeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions
Publication TypeJournal Article
Year of Publication2011
AuthorsChesani, F., P. Mello, M. Montali, and P. Torroni
JournalIntelligenza Artificiale
Volume5
Issue1/2011
Start Page101
Pagination101-105
Date Published02/2011
ISSN1724-8035
DOI10.3233/IA-2011-0011