Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2023 | |
| Contributo in Atti di convegno | |
| Verifying Programs by Bounded Tree-Width Behavior Graphs. In: Proceedings of the 20th European Conference on Multi-Agent Systems (EUMAS) 2023 Springer Vol.14282 LNAI, Pag.116-132 ISBN:978-3-031-43263-7; 978-3-031-43264-4 | |
| The 20th European Conference on Multi-Agent Systems (EUMAS) 2023 Naples, Italy September 14-15, 2023 | |
| Inverso, O.; La Torre, S.; Parlato, G.; Tomasco, E. | |
| Digital Object Identifier (DOI): 10.1007/978-3-031-43264-4_8 Codice identificativo SCOPUS: 2-s2.0-85171998189 | |
| Show it in Product Database (IRIS) |
