Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{65d37cb510124e12bfb39903f6d9fd87,

title = "Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",

author = "Marco Alberti",

note = "IF: 0.693",

year = "2010",

month = jan,

day = "1",

doi = "10.3233/FI-2010-310",

language = "Unknown",

volume = "102",

pages = "325--361",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Polish Mathematical Society",

number = "3-4",

}

TY - JOUR

T1 - Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

AU - Alberti, Marco

N1 - IF: 0.693

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.3233/FI-2010-310

DO - 10.3233/FI-2010-310

M3 - Article

SN - 0169-2968

VL - 102

SP - 325

EP - 361

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 3-4

ER -