Posted in
| Title | {Compliance Verification of Agent interaction: a Logic-Based Software Tool} |
| Publication Type | Journal Article |
| Year of Publication | 2006 |
| Authors | Alberti, M., M. Gavanelli, E. Lamma, F. Chesani, P. Mello, and P. Torroni |
| Journal | Applied Artificial Intelligence |
| Volume | 20 |
| Pagination | 133-157 |