Pubblicazioni
| Autori: | Davide D'Aprile |
| Laura Giordano | |
| Valentina Gliozzi | |
| Alberto Martelli | |
| Gianluca Pozzato | |
| Daniele Theseider Dupré | |
| Titolo: | Verifying Business Process Compliance by Reasoning about Actions |
| Apparso su: | Computational Logic in Multi-Agent Systems, 11th International Workshop |
| Pagine: | -- |
| Anno: | 2010 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |