Verifying Communicating Agents by Model Checking in a Temporal Action Logic. - HAL Accéder directement au contenu
Communication dans un congrès Année : 2004

Verifying Communicating Agents by Model Checking in a Temporal Action Logic.

Loading...

Dates et versions

halshs-00269953, version 1 (03-04-2008)

Identifiants

Citer

Laura Giordano, Alberto Martelli, Camilla Schwind. Verifying Communicating Agents by Model Checking in a Temporal Action Logic.. 9th European Conference, JELIA 2004, 2004, Portugal. pp.57-69, ⟨10.1007/b100483⟩. ⟨halshs-00269953⟩
29 Consultations
0 Téléchargements
Dernière date de mise à jour le 20/04/2024
comment ces indicateurs sont-ils produits

Altmetric

Partager

Gmail Facebook Twitter LinkedIn Plus