|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
1 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes |
Montali, Marco |
2010 |
102 | 3-4 |
p. 325-361 |
article |
1 results found