articles
Detail
Publication date: 1 de June, 2021Publication Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes – Journal Fundamenta Informaticae
| Journal | Fundamenta Informaticae |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 102 |
| Number | 3-4 |
| ISSN | 0169-2968 |
| Pub. Date | 01/01/2010 |