Publications
| Authors: | Davide D'Aprile |
| Laura Giordano | |
| Valentina Gliozzi | |
| Alberto Martelli | |
| Gianluca Pozzato | |
| Daniele Theseider Dupré | |
| Title: | Verifying Business Process Compliance by Reasoning about Actions |
| Published on: | Computational Logic in Multi-Agent Systems, 11th International Workshop |
| Pages: | -- |
| Year: | 2010 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |