Communication Dans Un Congrès
Année : 2004
Caroline Jusserand : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-00269953
Soumis le : jeudi 3 avril 2008-12:18:38
Dernière modification le : mardi 17 décembre 2024-03:36:35
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⟩
Collections
32
Consultations
0
Téléchargements