View in EDS PDF Full Text

MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS.

Saved in:
Bibliographic Details
Title: MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS.
Authors: BOZZELLI, LAURA1, laura.bozzelli@unina.it, MURANO, ANIELLO1, aniello.murano@unina.it, PERON, ADRIANO1, adrperon@unina.it
Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p13:1-13:40, 40p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-22(1:13)2026